Skip to content

Conversation

LeSeulArtichaut
Copy link
Contributor

This enables assignment through triagebot on this repository, in preparation for the migration from highfive to triagebot for PR assignment.

cc rust-lang/highfive#258 rust-lang/triagebot#433

Copy link
Contributor

@jonas-schievink jonas-schievink left a comment

Choose a reason for hiding this comment

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

bors r+

@bors
Copy link
Contributor

bors bot commented Apr 13, 2020

Build succeeded

@bors bors bot merged commit 74881d6 into rust-embedded:master Apr 13, 2020
@LeSeulArtichaut
Copy link
Contributor Author

Hehe, I'll give you some work @jonas-schievink 😅

@LeSeulArtichaut LeSeulArtichaut deleted the patch-1 branch April 13, 2020 12:21
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants