WIP (fill in TBD) Use vars.CONFIG with all of GitGitGadget's GitHub Actions

The GitHub Actions of GitGitGadget just learned the trick to accept the
project configuration as an input parameter. The idea is to store this
configuration in the repository variable called `CONFIG`. Here is the
code change to make use of this repository variable.

Obviously, this means that the workflows should no longer run in forks
without said configuration.

For details about configuring GitGitGadget to support projects other
than Git, see TBD.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>

Author: dscho

.github/workflows/handle-new-mails.yml

@@ -10,6 +10,7 @@ concurrency:
 jobs:
   handle-new-mails:
     runs-on: ubuntu-latest
+    if: vars.CONFIG != ''
 
     steps:
     - uses: actions/create-github-app-token@v1
@@ -35,6 +36,7 @@ jobs:
         repositories: git
     - uses: gitgitgadget/gitgitgadget/handle-new-mails@v1
       with:
+        config: ${{ vars.CONFIG }}
         pr-repo-token: ${{ steps.gitgitgadget-git-token.outputs.token }}
         upstream-repo-token: ${{ steps.git-git-token.outputs.token }}
         test-repo-token: ${{ steps.dscho-git-token.outputs.token }}

.github/workflows/handle-pr-comment.yml

@@ -19,6 +19,7 @@ concurrency:
 jobs:
   handle-pr-comment:
     runs-on: ubuntu-latest
+    if: vars.CONFIG != ''
 
     steps:
     - uses: actions/create-github-app-token@v1
@@ -84,6 +85,7 @@ jobs:
         echo "check_run_id=$check_run_id" >> $GITHUB_OUTPUT
     - uses: gitgitgadget/gitgitgadget/handle-pr-comment@v1
       with:
+        config: ${{ vars.CONFIG }}
         pr-repo-token: ${{ steps.gitgitgadget-git-token.outputs.token }}
         upstream-repo-token: ${{ steps.git-git-token.outputs.token }}
         test-repo-token: ${{ steps.dscho-git-token.outputs.token }}

.github/workflows/handle-pr-push.yml

@@ -19,6 +19,7 @@ concurrency:
 jobs:
   handle-pr-push:
     runs-on: ubuntu-latest
+    if: vars.CONFIG != ''
 
     steps:
     - uses: actions/create-github-app-token@v1
@@ -82,6 +83,7 @@ jobs:
         echo "check_run_id=$check_run_id" >> $GITHUB_OUTPUT
     - uses: gitgitgadget/gitgitgadget/handle-pr-push@v1
       with:
+        config: ${{ vars.CONFIG }}
         pr-repo-token: ${{ steps.gitgitgadget-git-token.outputs.token }}
         upstream-repo-token: ${{ steps.git-git-token.outputs.token }}
         test-repo-token: ${{ steps.dscho-git-token.outputs.token }}

.github/workflows/update-mail-to-commit-notes.yml

@@ -11,6 +11,7 @@ concurrency:
 jobs:
   update-mail-to-commit-notes:
     runs-on: ubuntu-latest
+    if: vars.CONFIG != ''
 
     steps:
     - uses: actions/create-github-app-token@v1
@@ -22,4 +23,5 @@ jobs:
         repositories: git
     - uses: gitgitgadget/gitgitgadget/update-mail-to-commit-notes@v1
       with:
+        config: ${{ vars.CONFIG }}
         pr-repo-token: ${{ steps.gitgitgadget-git-token.outputs.token }}

.github/workflows/update-prs.yml

@@ -10,6 +10,7 @@ concurrency:
 jobs:
   update-prs:
     runs-on: ubuntu-latest
+    if: vars.CONFIG != ''
 
     steps:
     - uses: actions/create-github-app-token@v1
@@ -35,6 +36,7 @@ jobs:
         repositories: git
     - uses: gitgitgadget/gitgitgadget/update-prs@v1
       with:
+        config: ${{ vars.CONFIG }}
         pr-repo-token: ${{ steps.gitgitgadget-git-token.outputs.token }}
         upstream-repo-token: ${{ steps.git-git-token.outputs.token }}
         test-repo-token: ${{ steps.dscho-git-token.outputs.token }}