diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-04-21 21:05:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-21 21:05:57 +0200 |
| commit | e6fb2f216fccc09d8e996525dcef3ffb2004f1ec (patch) | |
| tree | 3247867871647ebb17d9e83f7254d268b5872af2 /.github | |
| parent | 852337e03b4e84ef920c36c811b0676242e062ce (diff) | |
bors: do not merge PRs labeled S-blocked
Diffstat (limited to '.github')
| -rw-r--r-- | .github/bors.toml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/bors.toml b/.github/bors.toml index 39ad604..9725473 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 +] |