diff options
| author | LeSeulArtichaut <leseulartichaut@gmail.com> | 2020-03-24 14:52:53 +0100 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2020-04-05 12:49:29 -0500 |
| commit | ad12d952732f15e7a8e2c60cb945e76e43d5f744 (patch) | |
| tree | 3af65f192670de470e44eac93176e0aeeb27d85e /src/doc/rustc-dev-guide | |
| parent | a28c76128608727fa28ce8ff58bbe1d473fe7cd1 (diff) | |
| download | rust-ad12d952732f15e7a8e2c60cb945e76e43d5f744.tar.gz rust-ad12d952732f15e7a8e2c60cb945e76e43d5f744.zip | |
Change ICE-breaker ping to use the aliases
Related to rust-lang/rust#69949
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/ice-breaker/about.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/doc/rustc-dev-guide/src/ice-breaker/about.md b/src/doc/rustc-dev-guide/src/ice-breaker/about.md index e71001e5bdc..60182a3c2bf 100644 --- a/src/doc/rustc-dev-guide/src/ice-breaker/about.md +++ b/src/doc/rustc-dev-guide/src/ice-breaker/about.md @@ -58,8 +58,8 @@ To tag an issue as appropriate for an ICE-breaker group, you give team. For example: ```text -@rustbot ping icebreakers-llvm -@rustbot ping icebreakers-cleanup-crew +@rustbot ping llvm +@rustbot ping cleanup ``` **Note though that this should only be done by compiler team members |