Migrate away from public bors instance · Issue #255 · godot-rust/gdext (original) (raw)

From https://github.com/apps/bors:

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.

We should give GitHub's merge queues a try and see if they fit our workflow.

Interesting would be to see if something like bors try has an equivalent. If not, we might want to make the minimal CI a bit more extensive.