|
Is there a way to ensure that multiple PRs are included in a single batch?
|
|
1
|
265
|
June 5, 2021
|
|
Helm chart and examples using Terraform with Kubernetes
|
|
5
|
618
|
May 13, 2021
|
|
Changed pr_status not detected by bors
|
|
0
|
274
|
May 24, 2021
|
|
Spare Perennial Branches from Deleting
|
|
0
|
274
|
May 15, 2021
|
|
{:badmatch, {:error, :push, 422}} on batch
|
|
3
|
764
|
April 19, 2021
|
|
Add a simple health check endpoint
|
|
3
|
442
|
April 15, 2021
|
|
Resetting Bors understanding of our repos?
|
|
0
|
276
|
April 12, 2021
|
|
At lest 1 approving review is required by reviewers with write access
|
|
1
|
2155
|
April 10, 2021
|
|
Add "bors cancel" as alias for "bors r-"
|
|
2
|
296
|
March 30, 2021
|
|
Adding new reviewers to a repository
|
|
4
|
1334
|
March 23, 2021
|
|
Is it possible to extend bors?
|
|
1
|
392
|
March 9, 2021
|
|
Make the database timeout configurable
|
|
3
|
267
|
February 23, 2021
|
|
Group commits into a merge
|
|
0
|
280
|
February 9, 2021
|
|
Occasional Crash over "Required status check"
|
|
0
|
213
|
February 4, 2021
|
|
Postgres timeout error with large GitHub organization
|
|
3
|
407
|
January 21, 2021
|
|
RFC: Add support for custom commit titles
|
|
9
|
604
|
January 14, 2021
|
|
How do I enable debug log output?
|
|
2
|
342
|
January 14, 2021
|
|
Issue connecting to postgres rds db
|
|
4
|
297
|
January 7, 2021
|
|
How to give merge permission to other Github Apps?
|
|
4
|
331
|
December 31, 2020
|
|
REFUSED CONNECTION TO BorsNG.UserSocket after upgrading
|
|
3
|
1206
|
December 4, 2020
|
|
Where to store CODEOWNERS?
|
|
4
|
368
|
November 26, 2020
|
|
Investigating check_self error
|
|
1
|
444
|
November 17, 2020
|
|
Bors missing approvals
|
|
3
|
320
|
November 15, 2020
|
|
Add a new environment variable 'PUBLIC_PROTOCOL', to allow serving bors at a HTTP endpoint
|
|
2
|
444
|
November 5, 2020
|
|
Draft RFC: Support building batches in parallel
|
|
5
|
553
|
November 5, 2020
|
|
Log outgoing HTTP request
|
|
2
|
427
|
October 13, 2020
|
|
Update base branch of PRs depending on a branch that will be deleted
|
|
2
|
668
|
October 13, 2020
|
|
GenServer terminating periodically
|
|
2
|
401
|
October 26, 2020
|
|
Optimized bisection
|
|
2
|
575
|
September 26, 2020
|
|
Bors selective CI statuses
|
|
1
|
348
|
September 2, 2020
|