Fix Nixpkgs diff

a78b63e made it do a merge commit, but that requires an identity to be set: https://github.com/NixOS/nixfmt/actions/runs/10610964217/job/29409472985?pr=243
NixOS · Aug 29, 2024 · ceceb4f · ceceb4f
1 parent 738abf3
commit ceceb4f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/scripts/sync-pr.sh b/scripts/sync-pr.sh
@@ -50,6 +50,8 @@ isLinear() {
 
 step "Fetching nixfmt pull request and creating a branch for the head commit"
 git init nixfmt -b unused
+git -C nixfmt config user.name "GitHub Actions"
+git -C nixfmt config user.email "actions@noreply.github.com"
 git -C nixfmt fetch "$nixfmtUrl" "refs/pull/$nixfmtPrNumber/merge"
 nixfmtBaseCommit=$(git -C nixfmt rev-parse FETCH_HEAD^1)
 nixfmtHeadCommit=$(git -C nixfmt rev-parse FETCH_HEAD^2)