github/mergify: set an explicit "update" account

Fixes #1793
nix-community · Jul 5, 2024 · 4730563 · 4730563
1 parent 668894b
commit 4730563
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: