|
Allow controlling squash behaviour by using a bors command
|
|
4
|
910
|
January 12, 2022
|
|
Circleci batch canceled
|
|
0
|
312
|
December 7, 2021
|
|
Is bors down?
|
|
0
|
343
|
December 7, 2021
|
|
Repo members via team no longer have bors access
|
|
3
|
304
|
November 10, 2021
|
|
PRs requiring reviews fail bors silently
|
|
3
|
804
|
October 20, 2021
|
|
RFC: `bors r+ squash` to squash commits in a *specific* PR
|
|
15
|
4897
|
October 14, 2021
|
|
Using GitHub Actions for bors-implemented GitHub-enforced checks
|
|
0
|
348
|
October 14, 2021
|
|
Use GitHub branch protection rules instead of custom config file
|
|
4
|
762
|
October 14, 2021
|
|
Allow for customizable GitHub status context
|
|
1
|
289
|
October 13, 2021
|
|
Bors crashing, "Resource not accessible by integration"
|
|
8
|
845
|
October 6, 2021
|
|
`bors.toml: expected status to be a list`, when it is
|
|
2
|
406
|
October 1, 2021
|
|
Keep track of unmergeable and draft pull requests
|
|
6
|
653
|
September 23, 2021
|
|
Ignoring GitHub public email for committer
|
|
1
|
527
|
September 22, 2021
|
|
Bors not responding to commands
|
|
13
|
4189
|
September 8, 2021
|
|
Can't fetch value for key `BorsNG.GitHub.Server` of application `:bors
|
|
5
|
578
|
September 7, 2021
|
|
Connecting with myxql
|
|
1
|
380
|
August 19, 2021
|
|
Accept review from members without write access
|
|
2
|
358
|
June 29, 2021
|
|
Bors down?
|
|
12
|
608
|
June 8, 2021
|
|
Allow all contributors to `bors try` their own PRs
|
|
1
|
671
|
June 7, 2021
|
|
Is there a way to ensure that multiple PRs are included in a single batch?
|
|
1
|
364
|
June 5, 2021
|
|
Helm chart and examples using Terraform with Kubernetes
|
|
5
|
926
|
May 13, 2021
|
|
Changed pr_status not detected by bors
|
|
0
|
412
|
May 24, 2021
|
|
Spare Perennial Branches from Deleting
|
|
0
|
392
|
May 15, 2021
|
|
{:badmatch, {:error, :push, 422}} on batch
|
|
3
|
897
|
April 19, 2021
|
|
Add a simple health check endpoint
|
|
3
|
603
|
April 15, 2021
|
|
Resetting Bors understanding of our repos?
|
|
0
|
377
|
April 12, 2021
|
|
At lest 1 approving review is required by reviewers with write access
|
|
1
|
4547
|
April 10, 2021
|
|
Add "bors cancel" as alias for "bors r-"
|
|
2
|
411
|
March 30, 2021
|
|
Adding new reviewers to a repository
|
|
4
|
1573
|
March 23, 2021
|
|
Is it possible to extend bors?
|
|
1
|
506
|
March 9, 2021
|