LeSeulArtichaut
|
b126f329f9
|
Fix links when pinging notification groups
|
2020-06-12 20:33:18 +02:00 |
|
LeSeulArtichaut
|
cd137ee33f
|
Fix Zulip pings
|
2020-06-12 10:40:41 +02:00 |
|
LeSeulArtichaut
|
3a8f6c0943
|
Add various Zulip notifications for prioritization
|
2020-06-11 19:21:09 +02:00 |
|
Dylan DPC
|
6cc757e698
|
Rollup merge of #73181 - LeSeulArtichaut:patch-1, r=spastorino
Automatically prioritize unsoundness issues
r? @spastorino cc @Mark-Simulacrum @rust-lang/wg-prioritization
|
2020-06-11 13:16:06 +02:00 |
|
Santiago Pastorino
|
a01485c0da
|
Fix rustc-dev-guide url
|
2020-06-09 21:19:26 -03:00 |
|
Niko Matsakis
|
e0ec3d5dc6
|
fix URLs, include ARM
|
2020-06-09 18:01:58 -04:00 |
|
LeSeulArtichaut
|
c9f2cbf215
|
Automatically prioritize unsoundness issues
|
2020-06-09 22:58:32 +02:00 |
|
Santiago Pastorino
|
474b16b002
|
Add windows group to triagebot
|
2020-05-28 16:09:48 -03:00 |
|
Yuki Okushi
|
3fcb0f4bfa
|
Enable glacier command via triagebot
|
2020-05-25 15:07:55 +09:00 |
|
Santiago Pastorino
|
93abdd7511
|
Add some teams to prioritization exclude_labels
|
2020-05-21 17:40:07 -03:00 |
|
Santiago Pastorino
|
00d42bbd2a
|
Add prioritize_on attribute to triagebot
|
2020-05-14 18:32:11 -03:00 |
|
LeSeulArtichaut
|
dc4c3e9da6
|
Setup the @rustbot prioritize command
|
2020-04-10 15:22:40 +02:00 |
|
Mazdak Farrokhzad
|
89ef59af78
|
triagebot.toml: accept typo due to pnkfelix
|
2020-03-19 15:38:31 +01:00 |
|
Yuki Okushi
|
995e584678
|
Rollup merge of #69949 - rust-lang:triagebot-ping-alias, r=Mark-Simulacrum
triagebot.toml: add ping aliases
I think I got the syntax right.
Closes https://github.com/rust-lang/triagebot/issues/402.
r? @Mark-Simulacrum
cc @pnkfelix
|
2020-03-14 04:03:29 +09:00 |
|
Mazdak Farrokhzad
|
90e8058716
|
triagebot.toml: add typo aliases
|
2020-03-12 18:06:40 +01:00 |
|
Mazdak Farrokhzad
|
118003d2dc
|
triagebot.toml: add ping aliases
|
2020-03-12 16:22:12 +01:00 |
|
Santiago Pastorino
|
b3b32b74bc
|
rust-lang.github.io/rustc-dev-guide -> rustc-dev-guide.rust-lang.org
|
2020-03-10 17:08:18 -03:00 |
|
Santiago Pastorino
|
0037f4e37c
|
Rename rustc-guide to rustc-dev-guide
|
2020-03-10 17:08:10 -03:00 |
|
Mark Rousskov
|
2c7c4460bb
|
Enable setting diagnostic labels
|
2020-02-26 20:54:13 -05:00 |
|
Santiago Pastorino
|
3124603f09
|
Add support for icebreakers-cleanup-crew commands
|
2020-01-27 15:58:27 -03:00 |
|
Niko Matsakis
|
54879949f1
|
Update triagebot.toml
Co-Authored-By: Mark Rousskov <mark.simulacrum@gmail.com>
|
2019-10-17 16:53:47 -04:00 |
|
Niko Matsakis
|
a4d94925c7
|
add option to ping llvm ice-breakers to triagebot
|
2019-10-17 14:15:59 -04:00 |
|
Niko Matsakis
|
1fcbd902a1
|
Update triagebot.toml
Co-Authored-By: Pietro Albini <pietro@pietroalbini.org>
|
2019-10-03 12:37:31 -04:00 |
|
Niko Matsakis
|
1222cc98ad
|
permit asyncawait-ondeck to be added by anyone
Still debating if this is the right approach
|
2019-10-03 12:31:06 -04:00 |
|
Mazdak Farrokhzad
|
84c6d3088e
|
Allow rustbot to add F-* + requires-nightly.
|
2019-07-28 10:29:38 +02:00 |
|
Jonas Schievink
|
441ecb88e7
|
Allow claiming issues with triagebot
|
2019-05-16 22:22:18 +02:00 |
|
Pietro Albini
|
3db489bdcf
|
add repo-specific triagebot configuration
|
2019-04-15 23:52:59 +02:00 |
|