Skip to content

Conversation

ehuss
Copy link
Contributor

@ehuss ehuss commented Nov 27, 2022

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

This is ready to merge now, feel free to merge to re-enable auto-assignment.

@rust-highfive
Copy link

r? @chris-morgan

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

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.

3 participants