Goodbye bors - Githubissues

knurling-rs / flip-link

Adds zero-cost stack overflow protection to your embedded programs

Apache License 2.0

270 stars 6 forks source link

Closed Urhengulas closed 1 year ago

Urhengulas commented 1 year ago

The publicly hosted instance of bors-ng is deprecated. Therefore we switch to GitHub merge queue.

Two things are happening:

This PR edits config files to switch from bors to the new github merge queue.
Additionally the repository settings and in particular the branch protection rules are edited as described in the docs.

I am a bit unsure how to test this without creating a huge amount of pull requests, but I hope the changed settings already take effect for this PR.

jonathanpallant commented 1 year ago

Hmm, bors is still running on this one.

Urhengulas commented 1 year ago

Hmm, bors is still running on this one.

Good catch. I forgot to remove it from the list of required status checks.