diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-02-13 06:44:19 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-13 06:44:19 +0100 |
| commit | 20ea5c50135fd905ad70c38abaa2a3362cf5561a (patch) | |
| tree | 57836482bfbac8e2f36f353311d082e15ab23485 | |
| parent | dff7d51fcc8e5bb69d45db4f177fb15fab48b781 (diff) | |
| parent | a0d603f6e89b17390f4806237bcec3386cb01eaa (diff) | |
Rollup merge of #93944 - jackh726:team-exclude, r=Mark-Simulacrum
Don't relabel to a team if there is already a team label Should prevent cases like #93628, where teams have been manually assigned, but changes are pushed. We give up adding new labels on *new* changes; but I feel like that is less frequent. r? `@Mark-Simulacrum`
| -rw-r--r-- | triagebot.toml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/triagebot.toml b/triagebot.toml index b484c25ea51..276587e7f13 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -113,6 +113,9 @@ trigger_files = [ "src/tools/rustdoc-js", "src/tools/rustdoc-themes", ] +exclude_labels = [ + "T-*", +] [autolabel."T-compiler"] trigger_files = [ @@ -122,6 +125,9 @@ trigger_files = [ # Tests "src/test/ui", ] +exclude_labels = [ + "T-*", +] [notify-zulip."I-prioritize"] zulip_stream = 245100 # #t-compiler/wg-prioritization/alerts |