ci: add bot user to the workflow

vchirikov · Oct 25, 2022 · 87c832d · 87c832d
1 parent 15794a8
commit 87c832d
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -279,18 +279,17 @@ jobs:
         continue-on-error: true
         id: merge
         env:
-          # expires each year
-          GH_TOKEN: ${{ secrets.MY_GITHUB_TOKEN }}
+          GH_TOKEN: ${{ secrets.BOT_GITHUB_TOKEN }}
         run: |-
           git config --global init.defaultBranch master
           git config --global push.autoSetupRemote true
           git config --global push.default current
           git config --global merge.ff true
           git config --global merge.conflictstyle zdiff3
           git config --global --add safe.directory $GITHUB_WORKSPACE
-          git config --global user.name "vchirikov"
-          git config --global user.email "40987940+vchirikov@users.noreply.github.com"
-          git remote set-url origin https://${{ secrets.MY_GITHUB_TOKEN }}@github.com/${GITHUB_REPOSITORY}.git
+          git config --global user.name "verysimplenick"
+          git config --global user.email "922660+verysimplenick@users.noreply.github.com"
+          git remote set-url origin https://${{ secrets.BOT_GITHUB_TOKEN }}@github.com/${GITHUB_REPOSITORY}.git
           git fetch origin master
           git reset --hard && git clean -xdf
           sha="${{ steps.gh.outputs.sha }}" ; sha_compact="${sha:0:8}" ; date=$(date '+%Y-%m-%d')