Topic Replies Activity
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
Including all commits during merge 4 July 12, 2018
What goes in `DATABASE_URL`? 2 July 10, 2018
Any reason for the lack of "retry" command? 6 June 23, 2018
Would squashing be possible? 7 June 4, 2018
Port Bors-NG to Gitlab? 3 February 7, 2019
Adding the GitHub Checks permission 1 May 17, 2018
Why are private repositories not allowed? 2 May 20, 2018
I ... erm ... fat-finger rm-ed the Discourse forum 3 November 8, 2018
Hello! also, a question about HEAD moving 7 April 18, 2018
Customizing the name, email, and avatar of the bot's merge commits 1 April 12, 2018
Bors pending while travis build is finish 4 April 9, 2018
Ordering of commit parents & PR numbers 5 April 8, 2018
Example of a batched merge commit 3 March 30, 2018
How to customize the header and footer on the dashboard page 3 March 29, 2018
Bors r- not working as expected 5 March 28, 2018
BORS is not syncing 5 March 23, 2018
Bors fails to merge because the version number in master got bumped 8 March 20, 2018
Private Bors-ng returning 400 Internal server error 7 March 20, 2018
A plan for getting rid of the big green merge button 4 March 16, 2018
Database not migrated 6 March 16, 2018
Require four eyes 7 March 15, 2018