diff options
| author | Ralf Jung <post@ralfj.de> | 2024-12-29 09:35:09 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-12-29 09:36:07 +0100 |
| commit | 4a43173b676af00f57ee9fbb0b99ee2a52062124 (patch) | |
| tree | 05d480fcbda5adcdc7f247cf7ab8955b90f0e670 | |
| parent | 22fd2f39ee201239676e4c3ad3abf3b7d83c65c1 (diff) | |
| download | rust-4a43173b676af00f57ee9fbb0b99ee2a52062124.tar.gz rust-4a43173b676af00f57ee9fbb0b99ee2a52062124.zip | |
triagebot: enable merge conflict notification
| -rw-r--r-- | src/tools/miri/triagebot.toml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/tools/miri/triagebot.toml b/src/tools/miri/triagebot.toml index 3192882dff6..4e013764d87 100644 --- a/src/tools/miri/triagebot.toml +++ b/src/tools/miri/triagebot.toml @@ -1,3 +1,6 @@ +## See <https://forge.rust-lang.org/triagebot/index.html> for documentation +## of these options. + [relabel] allow-unauthenticated = [ "A-*", @@ -30,5 +33,10 @@ remove_labels = ["S-waiting-on-author"] # Those labels are added when PR author requests a review from an assignee add_labels = ["S-waiting-on-review"] +[merge-conflicts] +remove = [] +add = ["S-waiting-on-author"] +unless = ["S-blocked", "S-waiting-on-team", "S-waiting-on-review"] + # Automatically close and reopen PRs made by bots to run CI on them [bot-pull-requests] |