From f29aadcb66843104641451c7c1543afff15731df Mon Sep 17 00:00:00 2001 From: Renato Cavalcanti Date: Mon, 29 Jun 2020 17:45:37 +0200 Subject: [PATCH] Mergify: merge-when-green --- .mergify.yml | 20 +------------------- 1 file changed, 1 insertion(+), 19 deletions(-) diff --git a/.mergify.yml b/.mergify.yml index a6e23f77..93083e96 100644 --- a/.mergify.yml +++ b/.mergify.yml @@ -8,31 +8,13 @@ pull_request_rules: - "#review-requested=0" - "#changes-requested-reviews-by=0" - label!=status:block-merge + - label=status:merge-when-green actions: merge: method: merge - - name: Merge ScalaSteward's PRs that are ready - conditions: - - author=scala-steward - - status-success=Travis CI - Pull Request - - "#review-requested=0" - - "#changes-requested-reviews-by=0" - - label!=status:block-merge - actions: - merge: - method: merge - - name: Delete the PR branch after merge conditions: - merged actions: delete_head_branch: {} - - - name: auto add wip - conditions: - # match a few flavours of wip - - title~=^(\[wip\]( |:) |\[WIP\]( |:) |wip( |:) |WIP( |:)).* - actions: - label: - add: ["status:block-merge"]