diff options
| author | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-08-07 09:35:19 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-07 09:35:19 +0900 |
| commit | 5542fba2d329724fe972c8da91909ad1ddfdfd3d (patch) | |
| tree | edd82a2e1b95c4b579260a1214913af035826f1a | |
| parent | d36087bdac55672312f520cc7f97190c1d4cf6e6 (diff) | |
| parent | 0d8260ee48d19291ad99f1228a638e75a5453379 (diff) | |
| download | rust-5542fba2d329724fe972c8da91909ad1ddfdfd3d.tar.gz rust-5542fba2d329724fe972c8da91909ad1ddfdfd3d.zip | |
Rollup merge of #75183 - Aaron1011:toolstate/a-rustfmt, r=nikomatsakis
Label rustfmt toolstate issues with A-rustfmt This makes it easier to filter toolstate issues by the tool involved.
| -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 c0631fcedd3..55e2d7cf827 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -42,7 +42,7 @@ MAINTAINERS = { LABELS = { 'miri': ['A-miri', 'C-bug'], 'rls': ['A-rls', 'C-bug'], - 'rustfmt': ['C-bug'], + 'rustfmt': ['A-rustfmt', 'C-bug'], 'book': ['C-bug'], 'nomicon': ['C-bug'], 'reference': ['C-bug'], |