Topic Replies Activity
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
PRs requiring reviews fail bors silently 2 March 14, 2018
Broken job details link 5 March 12, 2018
How to tell who the author and reviewer were from the git history 1 March 2, 2018
What does it mean if bors responds with "Not Awaiting Review" 1 March 1, 2018
What about queueing from a branch without needing PRs? 2 February 27, 2018
Introduce yourself! 7 November 10, 2018
Issue connecting to database 3 February 22, 2018
Can bors-ng handle multiple destination branches? 6 February 13, 2018
How does bors-ng deal with people committing? 6 February 13, 2018
Reviewer permissions broken on moved repositories? 6 November 8, 2018
Bors sending 401s for webhooks 5 November 8, 2018
Bors keeps timing out! 4 January 26, 2018
Deploying Bors-NG in production using Docker - Building a release seems to hardcode configuration 9 November 8, 2018
GPU build/test farm 3 November 8, 2018
What does "r+wc" mean within the Mozreview system 4 November 8, 2018
Bors website giving "Internal server error" 8 November 8, 2018
Maintenance mode 1 December 24, 2017