mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Change ICE-breaker ping to use the aliases 

Related to rust-lang/rust#69949
This commit is contained in:
LeSeulArtichaut 2020-03-24 14:52:53 +01:00 committed by Who? Me?!
parent 0833cdbcd8
commit fabea21d80
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/ice-breaker/about.md
View File

@ -58,8 +58,8 @@ To tag an issue as appropriate for an ICE-breaker group, you give
team. For example: team. For example:
```text ```text
@rustbot ping icebreakers-llvm @rustbot ping llvm
@rustbot ping icebreakers-cleanup-crew @rustbot ping cleanup
``` ```
**Note though that this should only be done by compiler team members **Note though that this should only be done by compiler team members