Skip to content

Document relabel aliases #963

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 4 commits into from
Oct 30, 2025
Merged

Document relabel aliases #963

merged 4 commits into from
Oct 30, 2025

Conversation

@apiraino
Copy link
Contributor

@apiraino apiraino commented Oct 21, 2025 •
edited by rustbot
Loading

Documentation for label aliases, see triagebot#2172.

Merge after that PR.

Rendered

@apiraino apiraino force-pushed the docs-for-label-aliases branch 2 times, most recently from 10d4fbd to 427bedd Compare October 22, 2025 12:09
@apiraino apiraino marked this pull request as ready for review October 22, 2025 12:09
@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Oct 22, 2025
@rustbot
Copy link
Collaborator

rustbot commented Oct 22, 2025

r? @Urgau

rustbot has assigned @Urgau.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Urgau
Urgau reviewed Oct 22, 2025
View reviewed changes
@apiraino apiraino force-pushed the docs-for-label-aliases branch from 427bedd to bc765fb Compare October 23, 2025 14:47
@apiraino apiraino force-pushed the docs-for-label-aliases branch from bc765fb to 39d69cc Compare October 23, 2025 15:31
@apiraino apiraino requested a review from Urgau October 23, 2025 15:33
Urgau
Urgau reviewed Oct 23, 2025
View reviewed changes
@Urgau Urgau added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Oct 23, 2025
apiraino and others added 3 commits October 23, 2025 19:18
@apiraino @Urgau
Update src/triagebot/labeling.md
e1bbb1c 
Co-authored-by: Urgau <3616612+Urgau@users.noreply.github.com>
@apiraino @Urgau
Update src/triagebot/labeling.md
db5653f 
Co-authored-by: Urgau <3616612+Urgau@users.noreply.github.com>
@apiraino @Urgau
Update src/triagebot/labeling.md
2742850 
Co-authored-by: Urgau <3616612+Urgau@users.noreply.github.com>
@apiraino apiraino requested a review from Urgau October 23, 2025 17:18
Urgau
Urgau approved these changes Oct 23, 2025
View reviewed changes
Copy link
Member

@Urgau Urgau left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Look good to me. Will merge when the triagebot impl re-lands.

@Urgau Urgau added the S-blocked Status: Blocked on something else such as a PR in another repository. label Oct 23, 2025
@apiraino apiraino merged commit 0198689 into rust-lang:master Oct 30, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@Urgau Urgau Urgau approved these changes

Assignees

@Urgau Urgau

Labels

S-blocked Status: Blocked on something else such as a PR in another repository. S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@apiraino @rustbot @Urgau