|
How to give merge permission to other Github Apps?
|
|
4
|
316
|
December 31, 2020
|
|
REFUSED CONNECTION TO BorsNG.UserSocket after upgrading
|
|
3
|
998
|
December 4, 2020
|
|
Where to store CODEOWNERS?
|
|
4
|
355
|
November 26, 2020
|
|
Investigating check_self error
|
|
1
|
428
|
November 17, 2020
|
|
GenServer terminating periodically
|
|
2
|
383
|
October 26, 2020
|
|
Optimized bisection
|
|
2
|
553
|
September 26, 2020
|
|
Bors selective CI statuses
|
|
1
|
337
|
September 2, 2020
|
|
Is it safe to run Bors in multiple webserver?
|
|
1
|
479
|
July 17, 2020
|
|
Repo forgot it's bors installation
|
|
4
|
367
|
July 7, 2020
|
|
Rebase a pull request
|
|
5
|
1442
|
July 1, 2020
|
|
Bors keep running and not merge to master
|
|
2
|
426
|
June 17, 2020
|
|
Bors with GitHub Workflows
|
|
4
|
1033
|
June 11, 2020
|
|
How do I update bors-ng in Heroku?
|
|
1
|
418
|
June 5, 2020
|
|
Solved: bors keeps ignoring r+
|
|
0
|
461
|
May 18, 2020
|
|
Bors try doesn't wait untill last build finishes?
|
|
3
|
549
|
April 30, 2020
|
|
Give "all users" the try permission
|
|
2
|
651
|
April 30, 2020
|
|
Sudden crash with concurrent batches
|
|
8
|
547
|
April 23, 2020
|
|
What events does the bors app need to subscribe to?
|
|
0
|
337
|
April 19, 2020
|
|
Failing to add a new repository
|
|
4
|
539
|
April 10, 2020
|
|
Time between batch cancellation and next batch start
|
|
0
|
333
|
April 1, 2020
|
|
Control renaming merged pull requests
|
|
8
|
790
|
March 25, 2020
|
|
Heroku "Application error"
|
|
3
|
612
|
February 28, 2020
|
|
Bors is stuck
|
|
2
|
420
|
February 26, 2020
|
|
Debugging possible "concurrent batcher" executions
|
|
2
|
362
|
February 13, 2020
|
|
Do try runs show in history?
|
|
0
|
403
|
February 11, 2020
|
|
Bug: Wildcard Status Ignores > 1 match
|
|
2
|
582
|
February 7, 2020
|
|
Bors crashing today
|
|
3
|
439
|
February 5, 2020
|
|
ArgumentError raised when starting Bors
|
|
5
|
959
|
January 2, 2020
|
|
Resource not accessible by integration
|
|
11
|
7326
|
December 30, 2019
|
|
Wildcard in status name?
|
|
1
|
518
|
December 19, 2019
|