diff options
| author | LeSeulArtichaut <leseulartichaut@gmail.com> | 2020-09-28 22:28:47 +0200 |
|---|---|---|
| committer | LeSeulArtichaut <leseulartichaut@gmail.com> | 2020-10-01 22:30:11 +0200 |
| commit | 4bf5c45865b86d8f95fb3f435aeecb229b9ef705 (patch) | |
| tree | 70c642f0056b0a343b12e3635bd5f88b6062a820 /src/tools/publish_toolstate.py | |
| parent | fc2daaae610b5515438b551a2f3706196a997f35 (diff) | |
| download | rust-4bf5c45865b86d8f95fb3f435aeecb229b9ef705.tar.gz rust-4bf5c45865b86d8f95fb3f435aeecb229b9ef705.zip | |
Remove outdated line from `publish_toolstate` hook
Diffstat (limited to 'src/tools/publish_toolstate.py')
| -rwxr-xr-x | src/tools/publish_toolstate.py | 3 |
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 |