Switch to actions/create-github-app-token (#1323)

Author: fingolfin

.github/workflows/pull-request.yml

@@ -133,11 +133,11 @@ jobs:
       # <https://github.com/peter-evans/create-pull-request/blob/main/docs/concepts-guidelines.md#authenticating-with-github-app-generated-tokens>
       # The bot can also be set up for personal forks of this repository, for testing
       # and debugging, see <https://github.com/apps/gap-package-distribution-bot>.
-      - uses: tibdex/github-app-token@v2
+      - uses: actions/create-github-app-token@v3
         id: generate-token
         with:
-          app_id: ${{ secrets.APP_ID }}
-          private_key: ${{ secrets.APP_PRIVATE_KEY }}
+          client-id: ${{ secrets.APP_ID }}
+          private-key: ${{ secrets.APP_PRIVATE_KEY }}
 
       # TODO: extra work is needed to make the following work with pull requests
       # that come from forks of this repository.

.github/workflows/scan-for-updates.yml

@@ -150,11 +150,11 @@ jobs:
       # <https://github.com/peter-evans/create-pull-request/blob/main/docs/concepts-guidelines.md#authenticating-with-github-app-generated-tokens>
       # The bot can also be set up for personal forks of this repository, for testing
       # and debugging, see <https://github.com/apps/gap-package-distribution-bot>.
-      - uses: tibdex/github-app-token@v2
+      - uses: actions/create-github-app-token@v3
         id: generate-token
         with:
-          app_id: ${{ secrets.APP_ID }}
-          private_key: ${{ secrets.APP_PRIVATE_KEY }}
+          client-id: ${{ secrets.APP_ID }}
+          private-key: ${{ secrets.APP_PRIVATE_KEY }}
 
       - uses: peter-evans/create-pull-request@v8
         with: