diff options
| author | Aaron Hill <aa1ronham@gmail.com> | 2020-08-05 05:03:08 -0400 |
|---|---|---|
| committer | Aaron Hill <aa1ronham@gmail.com> | 2020-08-05 05:03:08 -0400 |
| commit | 0d8260ee48d19291ad99f1228a638e75a5453379 (patch) | |
| tree | 713498b2f358f210e483e8a3168c7174812c6028 /src/tools/publish_toolstate.py | |
| parent | dab2ae0404014b4fbc5a32a8c954fe6068b25f71 (diff) | |
| download | rust-0d8260ee48d19291ad99f1228a638e75a5453379.tar.gz rust-0d8260ee48d19291ad99f1228a638e75a5453379.zip | |
Label rustfmt toolstate issues with A-rustfmt
This makes it easier to filter toolstate issues by the tool involved.
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 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'], |
