|
Rebase a pull request
|
|
5
|
1106
|
July 1, 2020
|
|
Bors keep running and not merge to master
|
|
2
|
316
|
June 17, 2020
|
|
Bors with GitHub Workflows
|
|
4
|
783
|
June 11, 2020
|
|
How do I update bors-ng in Heroku?
|
|
1
|
308
|
June 5, 2020
|
|
Solved: bors keeps ignoring r+
|
|
0
|
314
|
May 18, 2020
|
|
Bors try doesn't wait untill last build finishes?
|
|
3
|
469
|
April 30, 2020
|
|
Give "all users" the try permission
|
|
2
|
511
|
April 30, 2020
|
|
Sudden crash with concurrent batches
|
|
8
|
440
|
April 23, 2020
|
|
What events does the bors app need to subscribe to?
|
|
0
|
260
|
April 19, 2020
|
|
Failing to add a new repository
|
|
4
|
417
|
April 10, 2020
|
|
Time between batch cancellation and next batch start
|
|
0
|
256
|
April 1, 2020
|
|
Control renaming merged pull requests
|
|
8
|
639
|
March 25, 2020
|
|
Heroku "Application error"
|
|
3
|
445
|
February 28, 2020
|
|
Bors is stuck
|
|
2
|
347
|
February 26, 2020
|
|
Debugging possible "concurrent batcher" executions
|
|
2
|
289
|
February 13, 2020
|
|
Do try runs show in history?
|
|
0
|
305
|
February 11, 2020
|
|
Bug: Wildcard Status Ignores > 1 match
|
|
2
|
437
|
February 7, 2020
|
|
Bors crashing today
|
|
3
|
349
|
February 5, 2020
|
|
ArgumentError raised when starting Bors
|
|
5
|
725
|
January 2, 2020
|
|
Resource not accessible by integration
|
|
11
|
4550
|
December 30, 2019
|
|
Wildcard in status name?
|
|
1
|
431
|
December 19, 2019
|
|
Possible to not close a branch off another branch?
|
|
3
|
333
|
November 27, 2019
|
|
How to change the commit message format?
|
|
3
|
617
|
October 31, 2019
|
|
Bors stuck pending when CI completes
|
|
2
|
582
|
October 16, 2019
|
|
The ability to delegate `try` but not `r+` permissions
|
|
4
|
408
|
October 15, 2019
|
|
Bors push/commit not triggering github/pages task
|
|
3
|
356
|
September 15, 2019
|
|
Possible bug: long delay between `bors try` succeeding and the `try - Build succeeded` comment being posted
|
|
2
|
365
|
September 9, 2019
|
|
Is it possible to cancel a "try" command?
|
|
1
|
496
|
August 29, 2019
|
|
Bors r+ - wait for CI to succeed
|
|
2
|
513
|
August 24, 2019
|
|
Link for github bors plugin
|
|
1
|
320
|
August 23, 2019
|
