Sign Up
Log In
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
Search
Home
Forum
Docs
Log into dashboard