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
1,132 Commits 3 Branches 0 Tags 114 MiB
Commit Graph

4 Commits

Author SHA1 Message Date
LeSeulArtichaut a50d9c590a Clean up the paragraph about aliases for pinging the notification groups (#743) 
* Clean up the paragraph about aliases for pinging the notification groups

* Add windows and arm command invocations

Co-authored-by: Santiago Pastorino <spastorino@gmail.com>

Co-authored-by: Santiago Pastorino <spastorino@gmail.com>
 2020-06-10 18:04:19 -04:00
Niko Matsakis a7a83e664d complete the ICE-breaker => notification group rename 2020-06-09 18:03:33 -05:00
Niko Matsakis df8ee5af1f add the ARM notification group (#740) 2020-06-09 23:58:22 +02:00
Niko Matsakis d152893e86 Rebrand ICE-breakers, introduce Windows notification group (#739) 
* rename ice-breakers to the more general notification-group

also less confusing

* add windows notification group

* rebrand LLVM ICE-breakers as a "notification group"

* include the link to example windows PR
 2020-06-09 16:42:00 -03:00