Archive ICE ping groups #1860
Merged
Archive ICE ping groups #1860
+28
−28
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
if this change is accepted I should not forget to update the forge documentation here |
Dry-run check results |
jieyouxu
approved these changes
Jun 3, 2025
jackh726
approved these changes
Jun 3, 2025
This was referenced Jun 8, 2025
matthiaskrgr
added a commit
to matthiaskrgr/rust
that referenced
this pull request
Jun 11, 2025
remove ice group pings from `triagebot.toml` Followup to rust-lang/team#1860. Question: should the https://github.com/rust-lang/rust/labels/ICEBreaker-Cleanup-Crew and https://github.com/rust-lang/rust/labels/ICEBreaker-LLVM labels be deleted too or not?
rust-timer
added a commit
to rust-lang/rust
that referenced
this pull request
Jun 12, 2025
Rollup merge of #142314 - cyrgani:icebreaker, r=jieyouxu remove ice group pings from `triagebot.toml` Followup to rust-lang/team#1860. Question: should the https://github.com/rust-lang/rust/labels/ICEBreaker-Cleanup-Crew and https://github.com/rust-lang/rust/labels/ICEBreaker-LLVM labels be deleted too or not?
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
While revising the documentation on the forge I noticed these "ICE" groups, they were meant (to my knowledge) to be a group of volunteers reducing/bisecting issues filed on the main rust repository to help the triaging. I believe they are not used anymore (at least I've never seen a ping since long) though the pre-triaging of course still happens but in a more unstructured way.
So, in a way, this change should just reflect the actual situation.
The LLVM ping group sunset was mentioned on Zulip ( cc: @jieyouxu if you agree with this change, followup to your rust#138735).
The other ICE group honestly I don't know who to ask, I'll try in #t-release/triage (Zulip link)