Bot username and email

Author: ralfhandl

.github/workflows/sync-dev-to-vX.Y-dev.yaml

@@ -34,8 +34,8 @@ jobs:
         id: pull_requests
         shell: bash
         run: |
-          git config user.name ${GITHUB_ACTOR}
-          git config user.email "a@b.c"
+          git config user.name "github-actions[bot]"
+          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
 
           DEV_BRANCHES=$(git branch -r --list origin/v?.?-dev)
           for DEV_BRANCH in $DEV_BRANCHES; do

.github/workflows/sync-main-to-dev.yaml

@@ -34,8 +34,8 @@ jobs:
         id: pull_request
         shell: bash
         run: |
-          git config user.name ${GITHUB_ACTOR}
-          git config user.email "a@b.c"
+          git config user.name "github-actions[bot]"
+          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
           SYNC="$BASE-sync-with-$HEAD"
 
           git checkout -b $SYNC origin/$SYNC || git checkout -b $SYNC origin/$BASE