From e12962b4aa1c019982fa83cbfc05939e398e8c25 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 1 Sep 2022 15:20:05 +0200
Subject: [PATCH] Zulip notifications: ping the Miri team

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 95303a592c8a..8193411f8799 100644
--- a/.github/workflows/ci.yml
+++ b/.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?