TEST: handle new mails for testing

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

Author: dscho

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

@@ -3,6 +3,12 @@ name: Handle new mails
 on:
   # GitGitGadget's GitHub App is expected to trigger this on `git-mailing-list-mirror` updates
   workflow_dispatch:
+  push:
+    branches:
+      - migrate-gitgitgadget-to-github-actions
+
+env:
+  GITGITGADGET_DRY_RUN: 'true'
 
 concurrency:
   group: ${{ github.workflow }}
@@ -12,29 +18,29 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-    - uses: actions/create-github-app-token@v1
-      id: gitgitgadget-git-token
-      with:
-        app-id: ${{ secrets.GITGITGADGET_GITHUB_APP_ID }}
-        private-key: ${{ secrets.GITGITGADGET_GITHUB_APP_PRIVATE_KEY }}
-        owner: gitgitgadget
-        repositories: git
-    - uses: actions/create-github-app-token@v1
-      id: git-git-token
-      with:
-        app-id: ${{ secrets.GITGITGADGET_GIT_GITHUB_APP_ID }}
-        private-key: ${{ secrets.GITGITGADGET_GIT_GITHUB_APP_PRIVATE_KEY }}
-        owner: git
-        repositories: git
-    - uses: actions/create-github-app-token@v1
-      id: dscho-git-token
-      with:
-        app-id: ${{ secrets.GITGITGADGET_GIT_GITHUB_APP_ID }}
-        private-key: ${{ secrets.GITGITGADGET_GIT_GITHUB_APP_PRIVATE_KEY }}
-        owner: dscho
-        repositories: git
+    # - uses: actions/create-github-app-token@v1
+    #   id: gitgitgadget-git-token
+    #   with:
+    #     app-id: ${{ secrets.GITGITGADGET_GITHUB_APP_ID }}
+    #     private-key: ${{ secrets.GITGITGADGET_GITHUB_APP_PRIVATE_KEY }}
+    #     owner: gitgitgadget
+    #     repositories: git
+    # - uses: actions/create-github-app-token@v1
+    #   id: git-git-token
+    #   with:
+    #     app-id: ${{ secrets.GITGITGADGET_GIT_GITHUB_APP_ID }}
+    #     private-key: ${{ secrets.GITGITGADGET_GIT_GITHUB_APP_PRIVATE_KEY }}
+    #     owner: git
+    #     repositories: git
+    # - uses: actions/create-github-app-token@v1
+    #   id: dscho-git-token
+    #   with:
+    #     app-id: ${{ secrets.GITGITGADGET_GIT_GITHUB_APP_ID }}
+    #     private-key: ${{ secrets.GITGITGADGET_GIT_GITHUB_APP_PRIVATE_KEY }}
+    #     owner: dscho
+    #     repositories: git
     - uses: dscho/gitgitgadget/handle-new-mails@v1
       with:
-        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 }}
+        pr-repo-token: intentionally left blank
+        upstream-repo-token: intentionally left blank
+        test-repo-token: intentionally left blank