|
Limiting the scope of merge failures in batches
|
|
0
|
791
|
January 2, 2020
|
|
ArgumentError raised when starting Bors
|
|
5
|
1297
|
January 2, 2020
|
|
Resource not accessible by integration
|
|
11
|
9262
|
December 30, 2019
|
|
Wildcard in status name?
|
|
1
|
625
|
December 19, 2019
|
|
Wait for CI to finish instead of rejecting immediately on bors r+ when CI is still "pending"
|
|
4
|
916
|
December 11, 2019
|
|
Chrome extension?
|
|
8
|
1062
|
December 9, 2019
|
|
Possible to not close a branch off another branch?
|
|
3
|
515
|
November 27, 2019
|
|
How to change the commit message format?
|
|
3
|
961
|
October 31, 2019
|
|
Add a new configuration option `status_wait_success`
|
|
4
|
942
|
October 25, 2019
|
|
Bors stuck pending when CI completes
|
|
2
|
1009
|
October 16, 2019
|
|
The ability to delegate `try` but not `r+` permissions
|
|
4
|
751
|
October 15, 2019
|
|
Bors command reactji confirmations?
|
|
1
|
712
|
October 12, 2019
|
|
User defined aliases for Bors commands
|
|
5
|
861
|
October 7, 2019
|
|
Allow `merge` as an alias for `r+`
|
|
9
|
1287
|
October 6, 2019
|
|
Allow Bors to Auto-Retry
|
|
1
|
685
|
September 18, 2019
|
|
Add an optional “draft/WIP pull request” section to the RFC template
|
|
3
|
714
|
September 17, 2019
|
|
Allow `delegate` to be abbreviated as `d`
|
|
4
|
1104
|
September 14, 2019
|
|
Bors push/commit not triggering github/pages task
|
|
3
|
656
|
September 15, 2019
|
|
Use a squash merge in Bors
|
|
27
|
4217
|
September 9, 2019
|
|
Bors support for CODEOWNERS
|
|
6
|
1646
|
September 9, 2019
|
|
Possible bug: long delay between `bors try` succeeding and the `try - Build succeeded` comment being posted
|
|
2
|
606
|
September 9, 2019
|
|
Is it possible to cancel a "try" command?
|
|
1
|
845
|
August 29, 2019
|
|
Link for github bors plugin
|
|
1
|
551
|
August 23, 2019
|
|
Restricting access to the Bors dashboard
|
|
1
|
654
|
August 20, 2019
|
|
Bug report: Travis should not look at the `codecov` status if the Travis status check is still pending
|
|
10
|
1642
|
August 14, 2019
|
|
Ability to create merge commits locally in self-hosted instances of Bors
|
|
6
|
996
|
August 13, 2019
|
|
Just merge if a recent 'bors try' succeeded
|
|
1
|
580
|
August 8, 2019
|
|
Batching strategy vs one-at-a-time
|
|
6
|
2015
|
July 31, 2019
|
|
Unable to remove repositories from Bors
|
|
3
|
498
|
July 31, 2019
|
|
Update the version of bors in the `borsng/bors-ng` Docker image
|
|
3
|
671
|
July 31, 2019
|