From: Daan De Meyer <daan.j.demeyer@gmail.com>
Date: Wed, 4 Jun 2025 14:04:33 +0000 (+0200)
Subject: ci: Drop differential shellcheck
X-Git-Tag: v26~206
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=de09209520f3237388b0e4e2ebc80825d1ad7058;p=thirdparty%2Fmkosi.git

ci: Drop differential shellcheck

We already run shellcheck on all scripts as part of the main CI job,
so we don't really get any benefit of a differential shellcheck as all
our code is already checked by shellcheck so let's just drop it.
---

diff --git a/.github/workflows/differential-shellcheck.yml b/.github/workflows/differential-shellcheck.yml
deleted file mode 100644
index c3f703696..000000000
--- a/.github/workflows/differential-shellcheck.yml
+++ /dev/null
@@ -1,32 +0,0 @@
----
-# https://github.com/redhat-plumbers-in-action/differential-shellcheck#readme
-
-name: Differential ShellCheck
-on:
-  push:
-    branches:
-      - main
-  pull_request:
-    branches:
-      - main
-
-permissions:
-  contents: read
-
-jobs:
-  lint:
-    runs-on: ubuntu-24.04
-
-    permissions:
-      security-events: write
-
-    steps:
-      - name: Repository checkout
-        uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
-        with:
-          fetch-depth: 0
-
-      - name: Differential ShellCheck
-        uses: redhat-plumbers-in-action/differential-shellcheck@dd551ce780d8af741f8cd8bab6982667b906b457
-        with:
-          token: ${{ secrets.GITHUB_TOKEN }}