From 83c87e702fb47c1f93d7181a2fa6659cbab5c987 Mon Sep 17 00:00:00 2001 From: Josh Triplett Date: Tue, 17 Aug 2021 14:45:20 -0700 Subject: [PATCH] Support using rustbot to ping the Windows group --- triagebot.toml | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/triagebot.toml b/triagebot.toml index fa0824ac53c..d3405308476 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -1 +1,12 @@ [assign] + +[ping.windows] +message = """\ +Hey Windows Group! This bug has been identified as a good "Windows candidate". +In case it's useful, here are some [instructions] for tackling these sorts of +bugs. Maybe take a look? +Thanks! <3 + +[instructions]: https://rustc-dev-guide.rust-lang.org/notification-groups/windows.html +""" +label = "O-windows"