ci: use actions/github-script@v7

Now that this Action uses node.js 20, let's also use it in the steps of
the CI builds which use `github-script`.

Signed-off-by: Johannes Schindelin <[email protected]>

Author: dscho

.github/workflows/release-tag.yml

@@ -18,7 +18,7 @@ jobs:
           token: ${{ secrets.PUSH_RELEASE_TRAINS_PAT }}
           fetch-depth: 0
       - name: Import public GPG keys to verify the tag
-        uses: actions/github-script@v3
+        uses: actions/github-script@v7
         with:
           github-token: ${{secrets.GITHUB_TOKEN}}
           script: |
@@ -66,7 +66,7 @@ jobs:
           git cat-file tag "$GITHUB_REF" | sed -e '1,/^$/d' -e '/-----BEGIN PGP SIGNATURE-----/,$d' >body
       - name: Create Release
         if: github.repository_owner == 'git-for-windows'
-        uses: actions/github-script@v3
+        uses: actions/github-script@v7
         with:
           github-token: ${{secrets.GITHUB_TOKEN}}
           script: |