diff options
| author | varkor <github@varkor.com> | 2019-10-10 17:23:28 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-10 17:23:28 +0100 |
| commit | fb392c5ed638db9955a0323bb127c8c21b3db350 (patch) | |
| tree | 4cfe823d5c1448cabad38c002da113ee119b46cf /src/tools/publish_toolstate.py | |
| parent | 59a31c8c676bdc9f50490d5798b1b4e884b7d7ae (diff) | |
| download | rust-fb392c5ed638db9955a0323bb127c8c21b3db350.tar.gz rust-fb392c5ed638db9955a0323bb127c8c21b3db350.zip | |
Don't cc rust-lang/compiler for toolstate changes
Diffstat (limited to 'src/tools/publish_toolstate.py')
| -rwxr-xr-x | src/tools/publish_toolstate.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index 7cf3cc7663b..4383cd9d5be 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -143,7 +143,7 @@ def issue( cc @{}, do you think you would have time to do the follow-up work? If so, that would be great! - cc @{}, the PR reviewer, and @rust-lang/compiler -- nominating for prioritization. + cc @{}, the PR reviewer, and nominating for compiler team prioritization. ''').format( relevant_pr_number, tool, status_description, |