|
Bors try results in "Not awaiting review", despite PR listed in dashboard
|
|
3
|
215
|
January 5, 2019
|
|
Priority change is ignored if given after r+
|
|
2
|
202
|
December 18, 2018
|
|
Bors batch crashed / cancelled after passing `staging` build (branch protection?)
|
|
3
|
792
|
December 12, 2018
|
|
Merge to `dev` not `master` / honor the `default branch` setting
|
|
3
|
280
|
December 7, 2018
|
|
Usage with Gitlab CI
|
|
6
|
515
|
November 20, 2018
|
|
Buildbot/bors: github still expecting a status check after successful `bors try`
|
|
6
|
585
|
November 1, 2018
|
|
Can bors-ng delete the branch after it has merged?
|
|
3
|
270
|
October 30, 2018
|
|
How to use it with GOCD?
|
|
2
|
272
|
October 16, 2018
|
|
Getting gfx-rs/gfx-mem set up
|
|
12
|
617
|
November 8, 2018
|
|
Unexpected "Timed out"
|
|
2
|
305
|
September 11, 2018
|
|
Problems with the reviewers list
|
|
6
|
452
|
September 11, 2018
|
|
Extracting GitHub error on push
|
|
3
|
274
|
September 5, 2018
|
|
Bors crashes on r+
|
|
4
|
388
|
August 28, 2018
|
|
AWS RDS with Bors-NG
|
|
3
|
305
|
August 23, 2018
|
|
Accessing wobserver
|
|
11
|
441
|
August 18, 2018
|
|
Priority column
|
|
4
|
282
|
July 23, 2018
|
|
Crash during batch
|
|
4
|
500
|
July 17, 2018
|
|
Including all commits during merge
|
|
4
|
315
|
July 12, 2018
|
|
Any reason for the lack of "retry" command?
|
|
6
|
503
|
June 23, 2018
|
|
Why are private repositories not allowed?
|
|
2
|
407
|
May 20, 2018
|
|
Hello! also, a question about HEAD moving
|
|
7
|
422
|
April 18, 2018
|
|
Bors pending while travis build is finish
|
|
4
|
347
|
April 9, 2018
|
|
Ordering of commit parents & PR numbers
|
|
5
|
317
|
April 8, 2018
|
|
Bors r- not working as expected
|
|
5
|
643
|
March 28, 2018
|
|
BORS is not syncing
|
|
5
|
353
|
March 23, 2018
|
|
Bors fails to merge because the version number in master got bumped
|
|
8
|
504
|
March 20, 2018
|
|
Private Bors-ng returning 400 Internal server error
|
|
7
|
427
|
March 20, 2018
|
|
A plan for getting rid of the big green merge button
|
|
4
|
336
|
March 16, 2018
|
|
Database not migrated
|
|
6
|
1027
|
March 16, 2018
|
|
Require four eyes
|
|
7
|
515
|
March 15, 2018
|
