Support


Topic Replies Activity
About the Support category 1 August 21, 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
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
Bors with GitHub Workflows 2 January 9, 2020
Failing to add a new repository 1 January 9, 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
Possible to not close a branch off another branch? 4 November 27, 2019
How to change the commit message format? 4 October 31, 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 push/commit not triggering github/pages task 4 September 15, 2019
Possible bug: long delay between `bors try` succeeding and the `try - Build succeeded` comment being posted 3 September 9, 2019
Is it possible to cancel a "try" command? 2 August 29, 2019
Bors r+ - wait for CI to succeed 3 August 24, 2019
Link for github bors plugin 2 August 23, 2019
Restricting access to the Bors dashboard 2 August 20, 2019
Bug report: Travis should not look at the `codecov` status if the Travis status check is still pending 11 August 14, 2019
Just merge if a recent 'bors try' succeeded 2 August 8, 2019
Batching strategy vs one-at-a-time 7 July 31, 2019
Unable to remove repositories from Bors 4 July 31, 2019