About the Development category
|
|
0
|
656
|
August 21, 2017
|
Allow controlling squash behaviour by using a bors command
|
|
4
|
1065
|
January 12, 2022
|
RFC: `bors r+ squash` to squash commits in a *specific* PR
|
|
15
|
5120
|
October 14, 2021
|
Allow for customizable GitHub status context
|
|
1
|
386
|
October 13, 2021
|
Keep track of unmergeable and draft pull requests
|
|
6
|
774
|
September 23, 2021
|
Helm chart and examples using Terraform with Kubernetes
|
|
5
|
1074
|
May 13, 2021
|
Spare Perennial Branches from Deleting
|
|
0
|
483
|
May 15, 2021
|
Add a simple health check endpoint
|
|
3
|
743
|
April 15, 2021
|
Add "bors cancel" as alias for "bors r-"
|
|
2
|
483
|
March 30, 2021
|
Is it possible to extend bors?
|
|
1
|
577
|
March 9, 2021
|
Make the database timeout configurable
|
|
3
|
430
|
February 23, 2021
|
RFC: Add support for custom commit titles
|
|
9
|
863
|
January 14, 2021
|
Add a new environment variable 'PUBLIC_PROTOCOL', to allow serving bors at a HTTP endpoint
|
|
2
|
619
|
November 5, 2020
|
Draft RFC: Support building batches in parallel
|
|
5
|
872
|
November 5, 2020
|
Log outgoing HTTP request
|
|
2
|
622
|
October 13, 2020
|
Update base branch of PRs depending on a branch that will be deleted
|
|
2
|
918
|
October 13, 2020
|
Show status on accepted RFCs
|
|
3
|
708
|
June 20, 2020
|
The required_approvals option should require up-to-date approvals
|
|
5
|
920
|
June 20, 2020
|
Allow patches to be batched by themselves only
|
|
12
|
1127
|
February 11, 2020
|
Better handling PRs with dependencies
|
|
2
|
806
|
February 3, 2020
|
What is the intent of the `Batcher.cancel_all` call for abnormal Batcher exits?
|
|
2
|
636
|
January 21, 2020
|
Explain failures using status message on batch details page
|
|
2
|
801
|
January 3, 2020
|
Simplify bors-ng/bors-ng's label system
|
|
3
|
792
|
January 17, 2020
|
Limiting the scope of merge failures in batches
|
|
0
|
790
|
January 2, 2020
|
Wait for CI to finish instead of rejecting immediately on bors r+ when CI is still "pending"
|
|
4
|
915
|
December 11, 2019
|
Chrome extension?
|
|
8
|
1061
|
December 9, 2019
|
Add a new configuration option `status_wait_success`
|
|
4
|
941
|
October 25, 2019
|
Bors command reactji confirmations?
|
|
1
|
711
|
October 12, 2019
|
User defined aliases for Bors commands
|
|
5
|
860
|
October 7, 2019
|
Allow `merge` as an alias for `r+`
|
|
9
|
1286
|
October 6, 2019
|