|
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
|
