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.

diff --git a/.github/workflows/linter.yml b/.github/workflows/linter.yml
deleted file mode 100644 (file)
index 1b1ed93..0000000
--- 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 }}