Skip to content

Ping aliases for @rustbot ping the_alias #402

New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom
Closed
Centril opened this issue Mar 12, 2020 · 2 comments · Fixed by rust-lang/rust#69949
Closed

Ping aliases for @rustbot ping the_alias #402

Centril opened this issue Mar 12, 2020 · 2 comments · Fixed by rust-lang/rust#69949
Labels
enhancement New feature or request

Comments

@Centril
Copy link

Centril commented Mar 12, 2020

Instead of having to remember @rustbot ping icebreakers-cleanup-crew it would be great if we could add a memorable alias for the group so that I could e.g. write @rustbot ping cleanup. We would configure this by adding a list of aliases under a ping section.
@Centril Centril added the enhancement New feature or request label Mar 12, 2020
@Mark-Simulacrum
Copy link
Member

fff4611 implements the alias key for the ping configuration; rust-lang/rust can start using it as soon as the change to triagebot.toml lands in the master of that repo. Could you make that PR?

@Centril
Copy link
Author

Centril commented Mar 12, 2020

I think so yeah; could you add something to the wiki docs btw?

@Centril Centril mentioned this issue Mar 12, 2020
Merged
Centril added a commit to Centril/rust that referenced this issue Mar 12, 2020
@Centril
Rollup merge of rust-lang#69949 - rust-lang:triagebot-ping-alias, r=M…
e1f3da1 
…ark-Simulacrum

triagebot.toml: add ping aliases

I think I got the syntax right.
Closes rust-lang/triagebot#402.

r? @Mark-Simulacrum
cc @pnkfelix
Centril added a commit to Centril/rust that referenced this issue Mar 13, 2020
@Centril
Rollup merge of rust-lang#69949 - rust-lang:triagebot-ping-alias, r=M…
2567efc 
…ark-Simulacrum

triagebot.toml: add ping aliases

I think I got the syntax right.
Closes rust-lang/triagebot#402.

r? @Mark-Simulacrum
cc @pnkfelix
JohnTitor added a commit to JohnTitor/rust that referenced this issue Mar 13, 2020
@JohnTitor
Rollup merge of rust-lang#69949 - rust-lang:triagebot-ping-alias, r=M…
995e584 
…ark-Simulacrum

triagebot.toml: add ping aliases

I think I got the syntax right.
Closes rust-lang/triagebot#402.

r? @Mark-Simulacrum
cc @pnkfelix
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

triagebot.toml: add ping aliases rust-lang/rust
2 participants
@Centril @Mark-Simulacrum