Closed matthiasbeyer closed 1 year ago
bors single on bors merge
bors retry
This PR was included in a batch that successfully built, but then failed to merge into master. It will not be retried.
Additional information:
Response status code: 422
{"message":"Changes must be made through a pull request.","documentation_url":"https://docs.github.com/articles/about-protected-branches"}
bors retry
Build succeeded!
The publicly hosted instance of bors-ng is deprecated and will go away soon.
If you want to self-host your own instance, instructions are here. For more help, visit the forum.
If you want to switch to GitHub's built-in merge queue, visit their help page.
This adds some mild styling to the "show" command output, so that multiple fragments are easier to distinguish.