about summary refs log tree commit diff
diff options
context:
space:
mode:
authorYuki Okushi <huyuumi.dev@gmail.com>2020-10-02 08:25:17 +0900
committerGitHub <noreply@github.com>2020-10-02 08:25:17 +0900
commitbf15fcd927d8d2e2d4ec6c54c58e5a24a1d43049 (patch)
tree134ed2a1e6effb6e242c49cd544c65348e1930e2
parent1c4a5f8d1e5a96217f76b6f3877d1c252a132839 (diff)
parent4bf5c45865b86d8f95fb3f435aeecb229b9ef705 (diff)
downloadrust-bf15fcd927d8d2e2d4ec6c54c58e5a24a1d43049.tar.gz
rust-bf15fcd927d8d2e2d4ec6c54c58e5a24a1d43049.zip
Rollup merge of #77312 - LeSeulArtichaut:toolstate-msg, r=Mark-Simulacrum
Remove outdated line from `publish_toolstate` hook

We no longer add `I-nominated` to toolstate failure issues since T-compiler changed its meeting preparation workflow.
-rwxr-xr-xsrc/tools/publish_toolstate.py3
1 files changed, 0 insertions, 3 deletions
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py
index 9cfde0c232b..33613e2dc10 100755
--- a/src/tools/publish_toolstate.py
+++ b/src/tools/publish_toolstate.py
@@ -157,9 +157,6 @@ def issue(
 
         cc @{}, do you think you would have time to do the follow-up work?
         If so, that would be great!
-
-        And nominating for compiler team prioritization.
-
         ''').format(
             relevant_pr_number, tool, status_description,
             REPOS.get(tool), relevant_pr_user