|
RFC: Add support for custom commit titles
|
|
9
|
150
|
January 14, 2021
|
|
RFC: `bors r+ squash` to squash commits in a *specific* PR
|
|
13
|
284
|
November 18, 2020
|
|
Add a new environment variable 'PUBLIC_PROTOCOL', to allow serving bors at a HTTP endpoint
|
|
2
|
106
|
November 5, 2020
|
|
Draft RFC: Support building batches in parallel
|
|
5
|
100
|
November 5, 2020
|
|
Log outgoing HTTP request
|
|
2
|
164
|
October 13, 2020
|
|
Update base branch of PRs depending on a branch that will be deleted
|
|
2
|
167
|
October 13, 2020
|
|
The required_approvals option should require up-to-date approvals
|
|
5
|
284
|
June 20, 2020
|
|
Allow controlling squash behaviour by using a bors command
|
|
3
|
267
|
June 8, 2020
|
|
Allow patches to be batched by themselves only
|
|
12
|
416
|
February 11, 2020
|
|
Wait for CI to finish instead of rejecting immediately on bors r+ when CI is still "pending"
|
|
4
|
375
|
December 11, 2019
|
|
Add a new configuration option `status_wait_success`
|
|
4
|
394
|
October 25, 2019
|
|
Allow `merge` as an alias for `r+`
|
|
9
|
606
|
October 6, 2019
|
|
Allow `delegate` to be abbreviated as `d`
|
|
4
|
620
|
September 14, 2019
|
|
Use a squash merge in Bors
|
|
27
|
2024
|
September 9, 2019
|
|
Bors support for CODEOWNERS
|
|
6
|
846
|
September 9, 2019
|
|
Ability to create merge commits locally in self-hosted instances of Bors
|
|
6
|
558
|
August 13, 2019
|
|
Pre-test and Pre-merge hooks
|
|
13
|
1386
|
June 18, 2019
|
|
The bors button extension
|
|
2
|
627
|
June 9, 2019
|
