From e6fb2f216fccc09d8e996525dcef3ffb2004f1ec Mon Sep 17 00:00:00 2001 From: Jorge Aparicio Date: Sun, 21 Apr 2019 21:05:57 +0200 Subject: [PATCH] bors: do not merge PRs labeled S-blocked --- .github/bors.toml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/bors.toml b/.github/bors.toml index 39ad604272..9725473118 100644 --- a/.github/bors.toml +++ b/.github/bors.toml @@ -1,4 +1,5 @@ +block_labels = ["S-blocked"] delete_merged_branches = true status = [ "continuous-integration/travis-ci/push", -] \ No newline at end of file +]