projects / feed / packages.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: af93af4) | patch
Revert "CI: add super-linter for pull requests"
authorAaron Goodman <aaronjg@stanford.edu>
Fri, 6 Nov 2020 03:06:47 +0000 (22:06 -0500)
committerPaul Spooren <mail@aparcar.org>
Fri, 6 Nov 2020 17:25:42 +0000 (07:25 -1000)
commit318dbc74e9ffd0a87c8b552d180d7081027f8502
tree13d5760bfc31f7f5ca78efff63a84a6cbbb3e232tree | snapshot
parentaf93af4a4fa279dc5a3077832ac484ca769eada9commit | diff
Revert "CI: add super-linter for pull requests"

Initial motivation for this commit was 'Just merge and see how people like it?'
https://github.com/openwrt/packages/pull/13358#issuecomment-692309158

It seems that many contributors don't like it.
https://github.com/openwrt/packages/issues/13395

So this should be reverted until issues with the linter can be
resolved.

This reverts commit 2b5de22202dafe849bfbce3adf1488d542ba8b24.
.github/workflows/linter.yml [deleted file] blob | history
Mirror of packages feed