rtic/.github/bors.toml

mirror of https://github.com/rtic-rs/rtic.git synced 2024-11-25 21:19:35 +01:00
block_labels = ["S-blocked"]
delete_merged_branches = true
status = [
  "continuous-integration/travis-ci/push",
]
bors: do not merge PRs labeled S-blocked 2019-04-21 21:05:57 +02:00			`block_labels = ["S-blocked"]`
v0.4.0 closes #32 closes #33 2018-11-03 17:02:41 +01:00			`delete_merged_branches = true`
bors-ng integration 2018-04-16 21:27:02 +02:00			`status = [`
			`"continuous-integration/travis-ci/push",`
bors: do not merge PRs labeled S-blocked 2019-04-21 21:05:57 +02:00			`]`