Topic Replies Activity
Welcome to the Bors-NG forum 1 August 1, 2017
Control renaming merged pull requests 9 March 25, 2020
Allow all contributors to `bors try` their own PRs 1 March 23, 2020
Sudden crash with concurrent batches 4 March 21, 2020
REFUSED CONNECTION TO BorsNG.UserSocket after upgrading 2 March 6, 2020
Heroku "Application error" 4 February 28, 2020
Bors is stuck 3 February 26, 2020
Allow patches to be batched by themselves only 13 February 11, 2020
Debugging possible "concurrent batcher" executions 3 February 13, 2020
Do try runs show in history? 1 February 11, 2020
Bug: Wildcard Status Ignores > 1 match 3 February 7, 2020
Bors crashing today 4 February 5, 2020
Better handling PRs with dependencies 3 February 3, 2020
Use GitHub Approved Review to indicate r+? 6 February 3, 2020
Show status on accepted RFCs 2 February 2, 2020
What is the intent of the `Batcher.cancel_all` call for abnormal Batcher exits? 3 January 21, 2020
Bors with GitHub Workflows 2 January 9, 2020
Failing to add a new repository 1 January 9, 2020
Explain failures using status message on batch details page 3 January 3, 2020
Simplify bors-ng/bors-ng's label system 4 January 17, 2020
Limiting the scope of merge failures in batches 1 January 2, 2020
ArgumentError raised when starting Bors 6 January 2, 2020
Resource not accessible by integration 12 December 30, 2019
Wildcard in status name? 2 December 19, 2019
Wait for CI to finish instead of rejecting immediately on bors r+ when CI is still "pending" 5 December 11, 2019
Chrome extension? 9 December 9, 2019
Possible to not close a branch off another branch? 4 November 27, 2019
How to change the commit message format? 4 October 31, 2019
Add a new configuration option `status_wait_success` 5 October 25, 2019
Bors stuck pending when CI completes 3 October 16, 2019