Support


Topic Replies Created
Bors r+ - wait for CI to succeed 1 August 20, 2018
Accessing wobserver 11 August 9, 2018
Priority column 4 July 23, 2018
Crash during batch 4 July 13, 2018
Including all commits during merge 4 July 11, 2018
Any reason for the lack of "retry" command? 6 March 28, 2018
Why are private repositories not allowed? 2 May 19, 2018
Hello! also, a question about HEAD moving 7 April 2, 2018
Bors pending while travis build is finish 4 April 9, 2018
Ordering of commit parents & PR numbers 5 April 3, 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 19, 2018
A plan for getting rid of the big green merge button 4 March 13, 2018
Database not migrated 6 March 15, 2018
Require four eyes 7 March 1, 2018
PRs requiring reviews fail bors silently 2 January 18, 2018
Broken job details link 5 March 12, 2018
What about queueing from a branch without needing PRs? 2 February 26, 2018
Issue connecting to database 3 February 21, 2018
Can bors-ng handle multiple destination branches? 6 February 6, 2018
How does bors-ng deal with people committing? 6 February 13, 2018
Reviewer permissions broken on moved repositories? 6 December 24, 2017
Bors sending 401s for webhooks 5 February 1, 2018
Deploying Bors-NG in production using Docker - Building a release seems to hardcode configuration 9 January 2, 2018
GPU build/test farm 3 January 16, 2018
Bors website giving "Internal server error" 8 January 4, 2018
Maintenance mode 1 December 24, 2017
What is the `staging.tmp` branch used for? 3 October 16, 2017