From 0cd5910a374bd63ff97e482c702754ab5d64dde1 Mon Sep 17 00:00:00 2001 From: LeSeulArtichaut Date: Tue, 24 Mar 2020 14:52:53 +0100 Subject: [PATCH] Change ICE-breaker ping to use the aliases Related to rust-lang/rust#69949 --- src/ice-breaker/about.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ice-breaker/about.md b/src/ice-breaker/about.md index e71001e5..60182a3c 100644 --- a/src/ice-breaker/about.md +++ b/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