And another one

2026-09-27 02:43:48 +02:00 · 2025-08-08 18:57:10 +02:00
parent b63d86226f
commit 7a2a23bcb0
1 changed files with 2 additions and 0 deletions
@@ -20,6 +20,8 @@ jobs:

      - name: Merge main into release branch
        run: |
+          git config user.name "github-actions[bot]"
+          git config user.email "github-actions[bot]@users.noreply.github.com"
          git checkout release
          git merge origin/main --no-ff -m "Merge main into release for tag ${{ github.event.release.tag_name }}"
          git push origin release