diff options
| author | Tyler Mandry <tmandry@gmail.com> | 2019-10-11 15:09:54 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-11 15:09:54 -0700 |
| commit | 9917f062a92e0ef3007b310aeeba8fe1d9ab4e77 (patch) | |
| tree | bf39918c05166c103b6d2b9abada2bb4254500a5 | |
| parent | 48051e4a794ad81402a0c5cc18cfdaab7a09d7ed (diff) | |
| parent | fb392c5ed638db9955a0323bb127c8c21b3db350 (diff) | |
| download | rust-9917f062a92e0ef3007b310aeeba8fe1d9ab4e77.tar.gz rust-9917f062a92e0ef3007b310aeeba8fe1d9ab4e77.zip | |
Rollup merge of #65276 - varkor:toolstate-no-ping, r=Mark-Simulacrum
Don't cc rust-lang/compiler for toolstate changes Fixes https://github.com/rust-lang/rust/issues/65238.
| -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, |