Closed pascalkuthe closed 1 year ago
bors merge
bors merge
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":"Cannot change this locked branch At least 1 approving review is required by reviewers with write access.","documentation_url":"https://docs.github.com/articles/about-protected-branches"}
aliasparam
ignored (fixes #20)