Skip to content

Commit 20ea5c5

Browse files
authored
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`
2 parents dff7d51 + a0d603f commit 20ea5c5

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

triagebot.toml

+6
Original file line numberDiff line numberDiff line change
@@ -113,6 +113,9 @@ trigger_files = [
113113
"src/tools/rustdoc-js",
114114
"src/tools/rustdoc-themes",
115115
]
116+
exclude_labels = [
117+
"T-*",
118+
]
116119

117120
[autolabel."T-compiler"]
118121
trigger_files = [
@@ -122,6 +125,9 @@ trigger_files = [
122125
# Tests
123126
"src/test/ui",
124127
]
128+
exclude_labels = [
129+
"T-*",
130+
]
125131

126132
[notify-zulip."I-prioritize"]
127133
zulip_stream = 245100 # #t-compiler/wg-prioritization/alerts

0 commit comments

Comments
 (0)