Remove stale mergify configuration

This commit is contained in:
Thomas Eizinger 2021-03-05 15:47:53 +11:00
parent d6789508da
commit 265f4ee2e5
No known key found for this signature in database
GPG Key ID: 651AC83A6C6C8B96

View File

@ -1,23 +0,0 @@
pull_request_rules:
- name: instruct bors to merge PRs with passing tests and 2 approvals
conditions:
- "#approved-reviews-by>=2"
- "#changes-requested-reviews-by=0"
- "status-success=static_analysis"
- "-status-failure~=^build"
- -conflict
- label!=work-in-progress
- label!=blocked
- label!=no-mergify
- head~=^(?!release.*).*$
- base=dev
actions:
comment:
message: "bors r+"
- name: Delete branch if the pull request is merged
conditions:
- merged
- head~=^(?!release.*).*$
actions:
delete_head_branch:
force: false