Add a GitHub robot user for the merge commits

Marechal-L · Aug 6, 2024 · 48288d0 · 48288d0
1 parent a88fc59
commit 48288d0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml
@@ -106,6 +106,9 @@ jobs:
         ref: ds3-stable
         fetch-depth: 0
 
+    - run: git config --global user.email "[email protected]"
+    - run: git config --global user.name "Nattlebot Robobaum"
+
     - run: git merge --no-edit origin/ds3-full-rando
     - run: git push origin ds3-stable