diff --git a/.mergify.yml b/.mergify.yml new file mode 100644 index 00000000..a5d84b19 --- /dev/null +++ b/.mergify.yml @@ -0,0 +1,28 @@ +pull_request_rules: + - name: Make sure PR are update before merging with rebase + description: This automatically rebases PRs when they are out-of-date with the + base branch to avoid semantic conflicts (next step us switch to merge + queue). + conditions: + - "#commits-behind >= 10" + actions: + rebase: + - name: Label conflicting pull requests + description: Add a label to a pull request with conflict to spot it easily + conditions: + - conflict + - -closed + actions: + label: + toggle: + - conflict + - name: Ping PR author when conflicting + description: Warn the pull request author when their PR are conflicting + conditions: + - conflict + - -closed + actions: + comment: + message: > + 👋 {{author}} your PR is conflicting and needs to be updated to be + merged