-
Notifications
You must be signed in to change notification settings - Fork 14k
remove ice group pings from triagebot.toml
#142314
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
|
rustbot has assigned @Mark-Simulacrum. Use |
|
|
|
r? jieyouxu @bors r+ rollup |
jieyouxu
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks.
Re. the labels, maybe? I guess we can keep the label for now
Rollup of 9 pull requests Successful merges: - #142305 (Remove unneeded `check_id` calls as they are already called in `visit_id` in `EarlyContextAndPass` type) - #142314 (remove ice group pings from `triagebot.toml`) - #142343 (remove myself from the project) - #142346 (Add tracing import to execution context) - #142356 (Fix enter_trace_span!() using wrong $crate paths) - #142362 (Add expectation for `{` when parsing lone coroutine qualifiers) - #142364 (Do not warn on `rust.incremental` when using download CI rustc) - #142369 (Improve some attribute docs and rename groups) - #142374 (Fix missing newline trim in bootstrap) r? `@ghost` `@rustbot` modify labels: rollup
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?
Followup to rust-lang/team#1860.
Question: should the ICEBreaker-Cleanup-CrewHelping to "clean up" bugs with minimal examples and bisections
and
ICEBreaker-LLVM
Bugs identified for the LLVM ICE-breaker group
labels be deleted too or not?