Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

triagebot: D-* labels should imply A-diagnostics #138565

Closed
lolbinarycat opened this issue Mar 16, 2025 · 2 comments · Fixed by #138801
Closed

triagebot: D-* labels should imply A-diagnostics #138565

lolbinarycat opened this issue Mar 16, 2025 · 2 comments · Fixed by #138801
Assignees
Labels
A-meta Area: Issues & PRs about the rust-lang/rust repository itself

Comments

@lolbinarycat
Copy link
Contributor

just another autolabel rule that would make issue triage less error-prone, will try to implement when I get around to it.

@lolbinarycat lolbinarycat self-assigned this Mar 16, 2025
@rustbot rustbot added the needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. label Mar 16, 2025
@lolbinarycat
Copy link
Contributor Author

should D-* labels also imply T-compiler?

@Noratrieb
Copy link
Member

yeah that would make sense

lolbinarycat added a commit to lolbinarycat/rust that referenced this issue Mar 21, 2025
@fmease fmease added A-meta Area: Issues & PRs about the rust-lang/rust repository itself and removed needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. labels Mar 21, 2025
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this issue Mar 22, 2025
…38565, r=Noratrieb

triagebot: add autolabel rules for D-* and L-*

fixes rust-lang#138565

r? `@Noratrieb`
@bors bors closed this as completed in f0c0862 Mar 22, 2025
rust-timer added a commit to rust-lang-ci/rust that referenced this issue Mar 22, 2025
Rollup merge of rust-lang#138801 - lolbinarycat:triagebot-autolabel-138565, r=Noratrieb

triagebot: add autolabel rules for D-* and L-*

fixes rust-lang#138565

r? `@Noratrieb`
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-meta Area: Issues & PRs about the rust-lang/rust repository itself
Projects
None yet
Development

Successfully merging a pull request may close this issue.

4 participants