ci: Update Differential ShellCheck GitHub Action

The new version of Differential ShellCheck GitHub Action brings many improvements:

- External sourcing by default (`shellcheck -x`)
- Improved shell script autodetection
- and more

diff --git a/.github/workflows/differential-shellcheck.yml b/.github/workflows/differential-shellcheck.yml
index 52eb6811c6af0fc617a5500f5b0cab331d29442c..e95b0b7b42d0cc09d5c3637e6b74ba769a5a3ddb 100644 (file)
--- a/.github/workflows/differential-shellcheck.yml
+++ b/.github/workflows/differential-shellcheck.yml
@@ -1,5 +1,5 @@
----
 # https://github.com/redhat-plumbers-in-action/differential-shellcheck#readme
+---
 
 name: Differential ShellCheck
 on:
@@ -14,10 +14,6 @@ jobs:
   lint:
     runs-on: ubuntu-latest
 
-    permissions:
-      security-events: write
-      pull-requests: write
-
     steps:
       - name: Repository checkout
         uses: actions/checkout@v3
@@ -25,6 +21,7 @@ jobs:
           fetch-depth: 0
 
       - name: Differential ShellCheck
-        uses: redhat-plumbers-in-action/differential-shellcheck@v2
+        uses: redhat-plumbers-in-action/differential-shellcheck@v3
         with:
+          severity: warning
           token: ${{ secrets.GITHUB_TOKEN }}