Set a Git identity

akirak · Sep 24, 2023 · a5ab48a · a5ab48a
1 parent 6885587
commit a5ab48a
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/merge-upstream.yml b/.github/workflows/merge-upstream.yml
@@ -30,7 +30,12 @@ jobs:
         diagnostic-endpoint: ''
 
     - name: Merge upstream recipes
-      run: nix run .#update-recipes --no-write-lock-file -- upstream/master
+      run: |
+        # Set some identity. Actually it will be overridden later, so it's
+        # unused
+        git config --add user.name 'github-actions[bot]'
+        git config --add user.email '6270544+github-actions[bot]@users.noreply.github.com'
+        nix run .#update-recipes --no-write-lock-file -- upstream/master
 
     - name: Create a pull request
       uses: peter-evans/create-pull-request@v5