|
Allow patches to be batched by themselves only
|
|
13
|
259
|
February 11, 2020
|
|
Debugging possible "concurrent batcher" executions
|
|
3
|
122
|
February 13, 2020
|
|
Do try runs show in history?
|
|
1
|
116
|
February 11, 2020
|
|
Bug: Wildcard Status Ignores > 1 match
|
|
3
|
139
|
February 7, 2020
|
|
Bors crashing today
|
|
4
|
141
|
February 5, 2020
|
|
Better handling PRs with dependencies
|
|
3
|
218
|
February 3, 2020
|
|
Use GitHub Approved Review to indicate r+?
|
|
6
|
417
|
February 3, 2020
|
|
What is the intent of the `Batcher.cancel_all` call for abnormal Batcher exits?
|
|
3
|
113
|
January 21, 2020
|
|
Explain failures using status message on batch details page
|
|
3
|
143
|
January 3, 2020
|
|
Simplify bors-ng/bors-ng's label system
|
|
4
|
175
|
January 17, 2020
|
|
Limiting the scope of merge failures in batches
|
|
1
|
128
|
January 2, 2020
|
|
ArgumentError raised when starting Bors
|
|
6
|
294
|
January 2, 2020
|
|
Resource not accessible by integration
|
|
12
|
746
|
December 30, 2019
|
|
Wildcard in status name?
|
|
2
|
142
|
December 19, 2019
|
|
Wait for CI to finish instead of rejecting immediately on bors r+ when CI is still "pending"
|
|
5
|
251
|
December 11, 2019
|
|
Chrome extension?
|
|
9
|
232
|
December 9, 2019
|
|
Possible to not close a branch off another branch?
|
|
4
|
150
|
November 27, 2019
|
|
How to change the commit message format?
|
|
4
|
347
|
October 31, 2019
|
|
Add a new configuration option `status_wait_success`
|
|
5
|
275
|
October 25, 2019
|
|
Bors stuck pending when CI completes
|
|
3
|
278
|
October 16, 2019
|
|
The ability to delegate `try` but not `r+` permissions
|
|
5
|
195
|
October 15, 2019
|
|
Bors command reactji confirmations?
|
|
2
|
180
|
October 12, 2019
|
|
User defined aliases for Bors commands
|
|
6
|
204
|
October 7, 2019
|
|
Allow `merge` as an alias for `r+`
|
|
10
|
451
|
October 6, 2019
|
|
Allow Bors to Auto-Retry
|
|
2
|
184
|
September 18, 2019
|
|
Add an optional “draft/WIP pull request” section to the RFC template
|
|
4
|
146
|
September 17, 2019
|
|
Allow `delegate` to be abbreviated as `d`
|
|
5
|
425
|
September 14, 2019
|
|
Bors push/commit not triggering github/pages task
|
|
4
|
174
|
September 15, 2019
|
|
Use a squash merge in Bors
|
|
28
|
1471
|
September 9, 2019
|
|
Bors support for CODEOWNERS
|
|
7
|
601
|
September 9, 2019
|
