Topic Replies Activity
How to tell INTEGRATION_ID 3 February 7, 2019
[invalid] Revoking an `r+` holds back all PRs in the batch 2 February 4, 2019
Pre-RFC: Creating a formal decision-making process for bors-ng 7 February 20, 2019
Is there any good books to understand the fundamental of functional programming? 2 January 31, 2019
Bors sometimes doesn't see retry messages until a ping 2 January 30, 2019
Bors try doesn't wait untill last build finishes? 3 January 25, 2019
Bors try results in "Not awaiting review", despite PR listed in dashboard 3 January 5, 2019
Priority change is ignored if given after r+ 2 December 18, 2018
Bors batch crashed / cancelled after passing `staging` build (branch protection?) 3 December 12, 2018
Merge to `dev` not `master` / honor the `default branch` setting 3 December 7, 2018
Reusing Travis.com work 1 August 23, 2018
Is it possible to cancel a "try" command? 1 November 21, 2018
Usage with Gitlab CI 6 November 20, 2018
Buildbot/bors: github still expecting a status check after successful `bors try` 6 November 1, 2018
How bundler combines bors-ng with their own welcome bot 5 October 31, 2018
Batching strategy vs one-at-a-time 6 October 31, 2018
Can bors-ng delete the branch after it has merged? 3 October 30, 2018
How to use it with GOCD? 2 October 16, 2018
Why is it called "bors"? 1 September 25, 2018
Getting gfx-rs/gfx-mem set up 12 November 8, 2018
Unexpected "Timed out" 2 September 11, 2018
Problems with the reviewers list 6 September 11, 2018
Extracting GitHub error on push 3 September 5, 2018
Bors crashes on r+ 4 August 28, 2018
AWS RDS with Bors-NG 3 August 23, 2018
Bors r+ - wait for CI to succeed 1 August 20, 2018
Accessing wobserver 11 August 18, 2018
How to add a repo 1 July 26, 2018
Priority column 4 July 23, 2018
Crash during batch 4 July 17, 2018