|
Allow all contributors to `bors try` their own PRs
|
|
0
|
257
|
March 23, 2020
|
|
Heroku "Application error"
|
|
3
|
352
|
February 28, 2020
|
|
Bors is stuck
|
|
2
|
282
|
February 26, 2020
|
|
Debugging possible "concurrent batcher" executions
|
|
2
|
238
|
February 13, 2020
|
|
Do try runs show in history?
|
|
0
|
245
|
February 11, 2020
|
|
Bug: Wildcard Status Ignores > 1 match
|
|
2
|
334
|
February 7, 2020
|
|
Bors crashing today
|
|
3
|
273
|
February 5, 2020
|
|
ArgumentError raised when starting Bors
|
|
5
|
541
|
January 2, 2020
|
|
Resource not accessible by integration
|
|
11
|
2373
|
December 30, 2019
|
|
Wildcard in status name?
|
|
1
|
350
|
December 19, 2019
|
|
Possible to not close a branch off another branch?
|
|
3
|
256
|
November 27, 2019
|
|
How to change the commit message format?
|
|
3
|
504
|
October 31, 2019
|
|
Bors stuck pending when CI completes
|
|
2
|
422
|
October 16, 2019
|
|
The ability to delegate `try` but not `r+` permissions
|
|
4
|
314
|
October 15, 2019
|
|
Bors push/commit not triggering github/pages task
|
|
3
|
283
|
September 15, 2019
|
|
Possible bug: long delay between `bors try` succeeding and the `try - Build succeeded` comment being posted
|
|
2
|
270
|
September 9, 2019
|
|
Is it possible to cancel a "try" command?
|
|
1
|
374
|
August 29, 2019
|
|
Bors r+ - wait for CI to succeed
|
|
2
|
447
|
August 24, 2019
|
|
Link for github bors plugin
|
|
1
|
245
|
August 23, 2019
|
|
Restricting access to the Bors dashboard
|
|
1
|
294
|
August 20, 2019
|
|
Bug report: Travis should not look at the `codecov` status if the Travis status check is still pending
|
|
10
|
857
|
August 14, 2019
|
|
Just merge if a recent 'bors try' succeeded
|
|
1
|
298
|
August 8, 2019
|
|
Batching strategy vs one-at-a-time
|
|
6
|
1050
|
July 31, 2019
|
|
Unable to remove repositories from Bors
|
|
3
|
223
|
July 31, 2019
|
|
Update the version of bors in the `borsng/bors-ng` Docker image
|
|
3
|
303
|
July 31, 2019
|
|
Running Bors using `docker-compose` - how to enable HTTPS?
|
|
2
|
293
|
July 30, 2019
|
|
Test each commit in a PR
|
|
6
|
1783
|
July 26, 2019
|
|
Rename repository in Bors?
|
|
2
|
262
|
July 24, 2019
|
|
How is Bors different from protected branches on Github?
|
|
2
|
500
|
July 18, 2019
|
|
Automatically merge dependabot PRs
|
|
2
|
627
|
July 11, 2019
|
