From e9a5921e589b1f84a038e88365f581ed59781336 Mon Sep 17 00:00:00 2001 From: twisti <76837088+twisti-dev@users.noreply.github.com> Date: Fri, 1 May 2026 11:45:14 +0200 Subject: [PATCH] ci(Mergify): configuration update Signed-off-by: twisti --- .mergify.yml | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 .mergify.yml 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