Oops! That page doesn’t exist or is private.

Log In

Popular

Public bors instance down?

More…

Recent

Public bors instance down?

Bors crashing with ArgumentError unknown registry Support

Bors doesn't remove PRs from the queue if they merged manually Support

Cancelling bors on a PR doesn't cancel already started GitHub-Action pipelines Support

Bors cannot merge PRs in batches Support

Registering a new GitHub app to setup a bors instance: which events to subscribe to Support

Cancelling bors on a PR doesn't cancel already started GitHub pipelines Discourse Forum

Help migrating to Github merge queues

Minimal recommended resources for self-hosting Support

Any plans when bors will be shut down?

More…

Search this site