Auto merge of #113520 - Nilstrieb:rollup-zn78vvp, r=Nilstrieb

Rollup of 1 pull requests

Successful merges:

 - #113515 (Don't label tracking issues with `needs-triage`)

r? `@ghost`
`@rustbot` modify labels: rollup
This commit is contained in:
bors 2023-07-10 07:51:36 +00:00
commit a482149598

View File

@ -257,6 +257,9 @@ new_pr = true
[autolabel."needs-triage"]
new_issue = true
exclude_labels = [
"C-tracking-issue"
]
[autolabel."WG-trait-system-refactor"]
trigger_files = [