[Merged by Bors] - ci: Add bors support

[morenol]

No description provided.

[morenol]

bors r+

[bors]

This PR was included in a batch that successfully built, but then failed to merge into main. It will not be retried.

Additional information:

Response status code: 422
{"message":"At least 1 approving review is required by reviewers with write access.","documentation_url":"https://docs.github.com/articles/about-protected-branches"}

[morenol]

bors r+

[bors]

This PR was included in a batch that successfully built, but then failed to merge into main. 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"}

[morenol]

bors retry

[bors]

This PR was included in a batch that successfully built, but then failed to merge into main. 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"}

[sehz]

bors r+

[morenol]

@sehz it looks like we should update the branch protection rules to the main branch

[sehz]

updated

[morenol]

bors r+

[bors]

Already running a review

[bors]

Pull request successfully merged into main.

Build succeeded:

• Done