diff --git a/.github/mergify.yml b/.github/mergify.yml new file mode 100644 index 00000000..526045d4 --- /dev/null +++ b/.github/mergify.yml @@ -0,0 +1 @@ +extends: .github diff --git a/.mergify.yml b/.mergify.yml deleted file mode 100644 index d3b4b8ae..00000000 --- a/.mergify.yml +++ /dev/null @@ -1,39 +0,0 @@ -defaults: - actions: - backport: - title: "[{{ destination_branch }}] {{ title }} (backport #{{ number }}) by @{{ author }}" - -queue_rules: - - name: default - conditions: - # Conditions to get out of the queue (= merged) - - check-success~=/ Ready To Merge$ - -pull_request_rules: - - name: Merge PRs that are ready - conditions: - - check-success~=/ Ready To Merge$ - - "#approved-reviews-by>=1" - - "#review-requested=0" - - "#changes-requested-reviews-by=0" - - label!=status:block-merge - - label=status:merge-when-green - actions: - queue: - method: merge - name: default - - - name: Delete the PR branch and remove label after merge - conditions: - - merged - actions: - delete_head_branch: {} - label: - remove: [ "status:merge-when-green" ] - - - name: Labeling for Scala Steward PR's - conditions: - - author=scala-steward - actions: - label: - add: [ "type:updates" ]