|
Unexpected "Timed out"
|
|
1
|
834
|
September 11, 2018
|
|
Problems with the reviewers list
|
|
5
|
892
|
September 11, 2018
|
|
Extracting GitHub error on push
|
|
2
|
627
|
September 5, 2018
|
|
Bors crashes on r+
|
|
3
|
860
|
August 28, 2018
|
|
AWS RDS with Bors-NG
|
|
2
|
749
|
August 23, 2018
|
|
Accessing wobserver
|
|
10
|
1001
|
August 18, 2018
|
|
Priority column
|
|
3
|
678
|
July 23, 2018
|
|
Crash during batch
|
|
3
|
1213
|
July 17, 2018
|
|
Including all commits during merge
|
|
3
|
909
|
July 12, 2018
|
|
Any reason for the lack of "retry" command?
|
|
5
|
955
|
June 23, 2018
|
|
Why are private repositories not allowed?
|
|
1
|
1423
|
May 20, 2018
|
|
Hello! also, a question about HEAD moving
|
|
6
|
1015
|
April 18, 2018
|
|
Bors pending while travis build is finish
|
|
3
|
726
|
April 9, 2018
|
|
Ordering of commit parents & PR numbers
|
|
4
|
655
|
April 8, 2018
|
|
Bors r- not working as expected
|
|
4
|
1512
|
March 28, 2018
|
|
BORS is not syncing
|
|
4
|
756
|
March 23, 2018
|
|
Bors fails to merge because the version number in master got bumped
|
|
7
|
1372
|
March 20, 2018
|
|
Private Bors-ng returning 400 Internal server error
|
|
6
|
1012
|
March 20, 2018
|
|
A plan for getting rid of the big green merge button
|
|
3
|
767
|
March 16, 2018
|
|
Database not migrated
|
|
5
|
2817
|
March 16, 2018
|
|
Require four eyes
|
|
6
|
1097
|
March 15, 2018
|
|
Broken job details link
|
|
4
|
826
|
March 12, 2018
|
|
What about queueing from a branch without needing PRs?
|
|
1
|
575
|
February 27, 2018
|
|
Issue connecting to database
|
|
2
|
956
|
February 22, 2018
|
|
Can bors-ng handle multiple destination branches?
|
|
5
|
1351
|
February 13, 2018
|
|
How does bors-ng deal with people committing?
|
|
5
|
1180
|
February 13, 2018
|
|
Reviewer permissions broken on moved repositories?
|
|
5
|
1132
|
November 8, 2018
|
|
Bors sending 401s for webhooks
|
|
4
|
593
|
November 8, 2018
|
|
Deploying Bors-NG in production using Docker - Building a release seems to hardcode configuration
|
|
8
|
1365
|
November 8, 2018
|
|
GPU build/test farm
|
|
2
|
735
|
November 8, 2018
|