diff options
| author | Albert Magyar | 2019-11-19 12:02:08 -0700 |
|---|---|---|
| committer | GitHub | 2019-11-19 12:02:08 -0700 |
| commit | 28189ccf7f50eb5d88cd0f495494089854428418 (patch) | |
| tree | bda1ab23c98efe91ea76daae2901328f1755b49a | |
| parent | 7eb9f8435e131c13737e03267a04e0b007656ae5 (diff) | |
| parent | 9edbfa9d0395d847e90457114c93efc5a95c8878 (diff) | |
Merge pull request #1245 from freechipsproject/auto-merge-backports
[Mergify] Automatically merge backport PRs when ready
| -rw-r--r-- | .mergify.yml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/.mergify.yml b/.mergify.yml index 1dd36b18..f16d1871 100644 --- a/.mergify.yml +++ b/.mergify.yml @@ -39,3 +39,16 @@ pull_request_rules: actions: label: add: [Backport] + + - name: automatic squash-and-merge of backport PRs + conditions: + - status-success=continuous-integration/travis-ci/pr + - "#changes-requested-reviews-by=0" + - base=1.2.x + - label="Backport" + - label!="DO NOT MERGE" + actions: + merge: + method: squash + strict: smart + strict_method: merge |