Merge pull request #774 from rust-lang/no-infra-ping

don't ping infra team on errors

Author: marcoieni

src/server/reports.rs

@@ -84,7 +84,7 @@ fn reports_thread(data: &Data, github_data: Option<&GithubData>) -> Fallible<()>
                         )
                         .note(
                             "sos",
-                            "Can someone from the infra team check in on this? @rust-lang/infra",
+                            "If you need assistance dealing with this failure, please ask in [t-infra](https://rust-lang.zulipchat.com/#narrow/channel/242791-t-infra) on Zulip",
                         )
                         .send(&github_issue.api_url, data, github_data)?;
                     }

src/server/routes/webhooks/mod.rs

@@ -58,7 +58,7 @@ fn process_webhook(
                     .line("rotating_light", format!("**Error:** {e}"))
                     .note(
                         "sos",
-                        "If you have any trouble with Crater please ping **`@rust-lang/infra`**!",
+                        "If you have any trouble with Crater please ask in [t-infra](https://rust-lang.zulipchat.com/#narrow/channel/242791-t-infra) on Zulip",
                     )
                     .send(&p.issue.url, data, github_data)?;
             }