Auto merge of #2525 - RalfJung:zulip, r=RalfJung

Zulip notifications: ping the Miri team

Author: bors

.github/workflows/ci.yml

@@ -142,7 +142,7 @@ jobs:
           ZULIP_API_TOKEN: ${{ secrets.ZULIP_API_TOKEN }}
         run: |
           ~/.local/bin/zulip-send --stream miri --subject "Cron Job Failure (miri, $(date -u +%Y-%m))" \
-            --message 'Dear @**RalfJ** and @**oli**
+            --message 'Dear @*T-miri*,
 
           It would appear that the Miri cron job build failed. Would you mind investigating this issue?