aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHécate Moonlight <Kleidukos@users.noreply.github.com>2022-06-06 11:59:35 +0200
committerGitHub <noreply@github.com>2022-06-06 11:59:35 +0200
commit3d43d273dd875d65cdf4146360de56974182bb1a (patch)
tree1ac1d7449deba8d4e9a95035f1286bb7ab8265b6
parent727f24ccf6e3b367b4ff05777c64b7c9ca4debdb (diff)
Add Mergify configuration (#1496)
-rw-r--r--.github/mergify.yml29
1 files changed, 29 insertions, 0 deletions
diff --git a/.github/mergify.yml b/.github/mergify.yml
new file mode 100644
index 00000000..de362dd2
--- /dev/null
+++ b/.github/mergify.yml
@@ -0,0 +1,29 @@
+pull_request_rules:
+ # rebase+merge strategy
+ - actions:
+ queue:
+ name: default
+ # Merge into master with a merge commit
+ method: merge
+ # Update the pr branch with rebase, so the history is clean
+ update_method: rebase
+ name: Put pull requests in the rebase+merge queue
+ conditions:
+ - label=merge me
+ - '#approved-reviews-by>=1'
+ # merge+squash strategy
+ - actions:
+ queue:
+ name: default
+ method: squash
+ # both update methods get absorbed by the squash, so we use the most
+ # reliable
+ update_method: merge
+ name: Put pull requests in the squash+merge queue
+ conditions:
+ - label=squash+merge me
+ - '#approved-reviews-by>=1'
+
+queue_rules:
+ - name: default
+ conditions: []