github/mergify: set an explicit "update" account

Fixes nix-community#1793
MattSturgeon · Jul 4, 2024 · aef9874 · aef9874
1 parent 9b25eaa
commit aef9874
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/mergify.yml b/.github/mergify.yml
@@ -4,6 +4,10 @@
 # https://docs.mergify.com/merge-queue
 queue_rules:
   - name: default
+    # Account used for pushing rebased updates. Default is {{author}},
+    # but that doesn't work when they haven't logged into Mergify Dashboard:
+    # https://github.com/Mergifyio/mergify/issues/5075
+    update_bot_account: GaetanLepage
     update_method: rebase
     merge_method: fast-forward
     merge_conditions: