Closed nickgerace closed 2 years ago
bors cancel
Canceled.
bors merge
Canceled.
bors merge
This PR was included in a batch that successfully built, but then failed to merge into main. It will not be retried.
Additional information:
{"message":"This branch must not contain merge commits.","documentation_url":"https://docs.github.com/articles/about-protected-branches"}
bors merge
Build succeeded:
bors merge