forked from leanprover-community/mathlib
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore(github/pr): mergify configuration (leanprover-community#871)
- Loading branch information
1 parent
124594c
commit 3b17368
Showing
2 changed files
with
102 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,98 @@ | ||
pull_request_rules: | ||
- name: automatic merge on CI success and review avigad | ||
conditions: | ||
- status-success=continuous-integration/travis-ci/pr | ||
- "#changes-requested-reviews-by=0" | ||
- base=master | ||
- label=ready-to-merge | ||
- approved-reviews-by=avigad | ||
actions: | ||
delete_head_branch: {} | ||
merge: | ||
method: squash | ||
strict: smart | ||
strict_method: merge | ||
- name: automatic merge on CI success and review rwbarton | ||
conditions: | ||
- status-success=continuous-integration/travis-ci/pr | ||
- "#changes-requested-reviews-by=0" | ||
- base=master | ||
- label=ready-to-merge | ||
- approved-reviews-by=rwbarton | ||
actions: | ||
delete_head_branch: {} | ||
merge: | ||
method: squash | ||
strict: smart | ||
strict_method: merge | ||
- name: automatic merge on CI success and review digama0 | ||
conditions: | ||
- status-success=continuous-integration/travis-ci/pr | ||
- "#changes-requested-reviews-by=0" | ||
- base=master | ||
- label=ready-to-merge | ||
- approved-reviews-by=digama0 | ||
actions: | ||
delete_head_branch: {} | ||
merge: | ||
method: squash | ||
strict: smart | ||
strict_method: merge | ||
- name: automatic merge on CI success and review cipher1024 | ||
conditions: | ||
- status-success=continuous-integration/travis-ci/pr | ||
- "#changes-requested-reviews-by=0" | ||
- base=master | ||
- label=ready-to-merge | ||
- approved-reviews-by=cipher1024 | ||
actions: | ||
delete_head_branch: {} | ||
merge: | ||
method: squash | ||
strict: smart | ||
strict_method: merge | ||
- name: automatic merge on CI success and review ChrisHughes24 | ||
conditions: | ||
- status-success=continuous-integration/travis-ci/pr | ||
- "#changes-requested-reviews-by=0" | ||
- base=master | ||
- label=ready-to-merge | ||
- approved-reviews-by=ChrisHughes24 | ||
actions: | ||
delete_head_branch: {} | ||
merge: | ||
method: squash | ||
strict: smart | ||
strict_method: merge | ||
- name: automatic merge on CI success and review robertylewis | ||
conditions: | ||
- status-success=continuous-integration/travis-ci/pr | ||
- "#changes-requested-reviews-by=0" | ||
- base=master | ||
- label=ready-to-merge | ||
- approved-reviews-by=robertylewis | ||
actions: | ||
delete_head_branch: {} | ||
merge: | ||
method: squash | ||
strict: smart | ||
strict_method: merge | ||
- name: automatic merge on CI success and review patrickmassot | ||
conditions: | ||
- status-success=continuous-integration/travis-ci/pr | ||
- "#changes-requested-reviews-by=0" | ||
- base=master | ||
- label=ready-to-merge | ||
- approved-reviews-by=patrickmassot | ||
actions: | ||
delete_head_branch: {} | ||
merge: | ||
method: squash | ||
strict: smart | ||
strict_method: merge | ||
- name: remove outdated reviews | ||
conditions: | ||
- base=master | ||
actions: | ||
dismiss_reviews: | ||
approved: True |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters