Topic Replies Activity
Welcome to the Bors-NG forum 1 August 1, 2017
What is the intent of the `Batcher.cancel_all` call for abnormal Batcher exits? 3 January 21, 2020
Allow patches to be batched by themselves only 7 January 15, 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
Control renaming merged pull requests 8 December 20, 2019
Wildcard in status name? 2 December 19, 2019
Better handling PRs with dependencies 1 December 17, 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
The ability to delegate `try` but not `r+` permissions 5 October 15, 2019
Bors command reactji confirmations? 2 October 12, 2019
User defined aliases for Bors commands 6 October 7, 2019
Allow `merge` as an alias for `r+` 10 October 6, 2019
Allow Bors to Auto-Retry 2 September 18, 2019
Add an optional “draft/WIP pull request” section to the RFC template 4 September 17, 2019
Allow `delegate` to be abbreviated as `d` 5 September 14, 2019
Bors push/commit not triggering github/pages task 4 September 15, 2019
Use a squash merge in Bors 28 September 9, 2019
Bors support for CODEOWNERS 7 September 9, 2019
Possible bug: long delay between `bors try` succeeding and the `try - Build succeeded` comment being posted 3 September 9, 2019