1[assign] 2 3[assign.owners] 4"*" = ["@Amanieu"] 5 6[ping.windows] 7message = """\ 8Hey Windows Group! This issue could use some guidance on how it can be resolved 9on Windows platforms. 10Could one of you weigh in please? In case it's useful, here are some 11[instructions] for tackling these sorts of bugs. 12Thanks! 13 14[instructions]: https://rustc-dev-guide.rust-lang.org/notification-groups/windows.html 15""" 16 17[ping.arm] 18message = """\ 19Hey Arm-interested people! This issue could use some guidance on how it can be 20resolved on Arm platforms. 21Could one of you weigh in please? In case it's useful, here are some 22[instructions] for tackling these sorts of bugs. 23Thanks! 24 25[instructions]: https://rustc-dev-guide.rust-lang.org/notification-groups/arm.html 26""" 27 28[ping.risc-v] 29message = """\ 30Hey RISC-V Group! This issue could use some guidance on how it can be resolved 31on RISC-V platforms. 32Could one of you weigh in please? In case it's useful, here are some 33[instructions] for tackling these sorts of bugs. 34Thanks! 35 36[instructions]: https://rustc-dev-guide.rust-lang.org/notification-groups/risc-v.html 37""" 38 39[ping.fuchsia] 40message = """\ 41Hey friends of Fuchsia! This issue could use some guidance on how this should be 42resolved/implemented on Fuchsia. Could one of you weigh in please? 43Thanks! 44""" 45 46[ping.macos] 47message = """\ 48Hey MacOS Group! This issue or PR could use some MacOS-specific guidance. Could 49one of you weigh in please? 50Thanks! 51""" 52 53