.github: Add mergify configuration (#3026)

This commit is contained in:
Thomas Eizinger 2022-11-03 12:25:12 +11:00 committed by GitHub
parent 53d445e61c
commit 95e27ece8e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 31 additions and 0 deletions

28
.github/mergify.yml vendored Normal file
View File

@ -0,0 +1,28 @@
defaults:
actions:
queue:
method: squash
commit_message_template: |
{{ title }} (#{{ number }})
{{ body | get_section("## Commit Message body", "") }}
pull_request_rules:
- name: Ask to resolve conflict
conditions:
- conflict
- -draft # Draft PRs are allowed to have conflicts.
actions:
comment:
message: This pull request has merge conflicts. Could you please resolve them @{{author}}? 🙏
- name: Add to merge queue
conditions:
# All branch protection rules are implicit: https://docs.mergify.com/conditions/#about-branch-protection
- label=send-it
actions:
queue:
queue_rules:
- name: default
conditions: []

View File

@ -19,3 +19,6 @@
- [ ] I have made corresponding changes to the documentation - [ ] I have made corresponding changes to the documentation
- [ ] I have added tests that prove my fix is effective or that my feature works - [ ] I have added tests that prove my fix is effective or that my feature works
- [ ] A changelog entry has been made in the appropriate crates - [ ] A changelog entry has been made in the appropriate crates
<!-- The below text will appear as the commit message body once we squash-merge the PR. -->
## Commit message body