diff options
| author | Aaron Goodman <aaronjg@stanford.edu> | 2020-11-05 22:06:47 -0500 |
|---|---|---|
| committer | Paul Spooren <mail@aparcar.org> | 2020-11-06 07:25:42 -1000 |
| commit | 318dbc74e9ffd0a87c8b552d180d7081027f8502 (patch) | |
| tree | 13d5760bfc31f7f5ca78efff63a84a6cbbb3e232 /.github | |
| parent | af93af4a4fa279dc5a3077832ac484ca769eada9 (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.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/linter.yml | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/.github/workflows/linter.yml b/.github/workflows/linter.yml deleted file mode 100644 index 1b1ed931a..000000000 --- a/.github/workflows/linter.yml +++ /dev/null @@ -1,22 +0,0 @@ -name: Lint Pull Request - -# Documentation: -# https://github.com/github/super-linter - -on: - pull_request: - branches: [master] -jobs: - build: - name: Lint Code Base - runs-on: ubuntu-latest - steps: - - name: Checkout Code - uses: actions/checkout@v2 - - - name: Lint Code Base - uses: github/super-linter@v3 - env: - VALIDATE_ALL_CODEBASE: false - DEFAULT_BRANCH: master - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |