diff --git a/.mergify.yml b/.mergify.yml new file mode 100644 index 00000000000..d3793facbba --- /dev/null +++ b/.mergify.yml @@ -0,0 +1,42 @@ +pull_request_rules: + - name: backport patches to 7.x branch + conditions: + - merged + - base=master + - label=backport-v7.13.0 + actions: + backport: + branches: + - "7.x" + - name: backport patches to 7.12 branch + conditions: + - merged + - base=master + - label=backport-v7.12.0 + actions: + backport: + branches: + - "7.12" + - name: backport patches to 7.11 branch + conditions: + - merged + - base=master + - label=backport-v7.11.0 + actions: + backport: + branches: + - "7.11" + - name: ask to resolve conflict + conditions: + - conflict + actions: + comment: + message: | + This pull request is now in conflicts. Could you fix it? 🙏 + To fixup this pull request, you can check out it locally. See documentation: https://help.github.com/articles/checking-out-pull-requests-locally/ + ``` + git fetch upstream + git checkout -b {{head}} upstream/{{head}} + git merge upstream/{{base}} + git push upstream {{head}} + ```