Skip to content
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

Add ping groups from Rust to stdarch #1539

Merged
merged 1 commit into from
Feb 23, 2024
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
48 changes: 48 additions & 0 deletions triagebot.toml
Original file line number Diff line number Diff line change
Expand Up @@ -2,3 +2,51 @@

[assign.owners]
"*" = ["@Amanieu"]

[ping.windows]
message = """\
Hey Windows Group! This issue could use some guidance on how it can be resolved
on Windows platforms.
Could one of you weigh in please? In case it's useful, here are some
[instructions] for tackling these sorts of bugs.
Thanks!

[instructions]: https://rustc-dev-guide.rust-lang.org/notification-groups/windows.html
"""

[ping.arm]
message = """\
Hey Arm-interested people! This issue could use some guidance on how it can be
resolved on Arm platforms.
Could one of you weigh in please? In case it's useful, here are some
[instructions] for tackling these sorts of bugs.
Thanks!

[instructions]: https://rustc-dev-guide.rust-lang.org/notification-groups/arm.html
"""

[ping.risc-v]
message = """\
Hey RISC-V Group! This issue could use some guidance on how it can be resolved
on RISC-V platforms.
Could one of you weigh in please? In case it's useful, here are some
[instructions] for tackling these sorts of bugs.
Thanks!

[instructions]: https://rustc-dev-guide.rust-lang.org/notification-groups/risc-v.html
"""

[ping.fuchsia]
message = """\
Hey friends of Fuchsia! This issue could use some guidance on how this should be
resolved/implemented on Fuchsia. Could one of you weigh in please?
Thanks!
"""

[ping.macos]
message = """\
Hey MacOS Group! This issue or PR could use some MacOS-specific guidance. Could
one of you weigh in please?
Thanks!
"""