Skip to content

[DO NOT MERGE] Migrate from highfive to triagebot #1359

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

Merged
merged 1 commit into from
Nov 27, 2022

Conversation

ehuss
Copy link
Contributor

@ehuss ehuss commented Nov 26, 2022

This migrates this repository from using the highfive bot to using triagebot (aka rustbot).

This should not be merged without coordinating the removal of the highfive webhook and/or merging rust-lang/highfive#438.

@rust-highfive
Copy link

r? @Amanieu

(rust-highfive has picked a reviewer for you, use r? to override)

@Amanieu
Copy link
Member

Amanieu commented Nov 27, 2022

Sure, just let me know when this is ready to merge.

@ehuss ehuss changed the title Migrate from highfive to triagebot [DO NOT MERGE] Migrate from highfive to triagebot Nov 27, 2022
@Mark-Simulacrum
Copy link
Member

@Amanieu this is ready to go now.

@Amanieu Amanieu merged commit 57afaf1 into rust-lang:master Nov 27, 2022
@Amanieu
Copy link
Member

Amanieu commented Nov 27, 2022

Do we need to change/add labels for the bot to work?

@ehuss
Copy link
Contributor Author

ehuss commented Nov 27, 2022

Oh, sorry, I didn't notice this repo isn't using the S-waiting-on… labels. I'll post a PR to remove it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants