|
Using GitHub Actions for bors-implemented GitHub-enforced checks
|
|
0
|
429
|
October 14, 2021
|
|
Bors crashing, "Resource not accessible by integration"
|
|
8
|
995
|
October 6, 2021
|
|
`bors.toml: expected status to be a list`, when it is
|
|
2
|
486
|
October 1, 2021
|
|
Ignoring GitHub public email for committer
|
|
1
|
600
|
September 22, 2021
|
|
Bors not responding to commands
|
|
13
|
4376
|
September 8, 2021
|
|
Can't fetch value for key `BorsNG.GitHub.Server` of application `:bors
|
|
5
|
761
|
September 7, 2021
|
|
Connecting with myxql
|
|
1
|
468
|
August 19, 2021
|
|
Accept review from members without write access
|
|
2
|
418
|
June 29, 2021
|
|
Bors down?
|
|
12
|
712
|
June 8, 2021
|
|
Allow all contributors to `bors try` their own PRs
|
|
1
|
745
|
June 7, 2021
|
|
Is there a way to ensure that multiple PRs are included in a single batch?
|
|
1
|
430
|
June 5, 2021
|
|
Changed pr_status not detected by bors
|
|
0
|
510
|
May 24, 2021
|
|
{:badmatch, {:error, :push, 422}} on batch
|
|
3
|
1007
|
April 19, 2021
|
|
Resetting Bors understanding of our repos?
|
|
0
|
448
|
April 12, 2021
|
|
At lest 1 approving review is required by reviewers with write access
|
|
1
|
5202
|
April 10, 2021
|
|
Occasional Crash over "Required status check"
|
|
0
|
355
|
February 4, 2021
|
|
Postgres timeout error with large GitHub organization
|
|
3
|
960
|
January 21, 2021
|
|
How do I enable debug log output?
|
|
2
|
538
|
January 14, 2021
|
|
Issue connecting to postgres rds db
|
|
4
|
462
|
January 7, 2021
|
|
How to give merge permission to other Github Apps?
|
|
4
|
573
|
December 31, 2020
|
|
REFUSED CONNECTION TO BorsNG.UserSocket after upgrading
|
|
3
|
9500
|
December 4, 2020
|
|
Where to store CODEOWNERS?
|
|
4
|
527
|
November 26, 2020
|
|
Investigating check_self error
|
|
1
|
672
|
November 17, 2020
|
|
GenServer terminating periodically
|
|
2
|
612
|
October 26, 2020
|
|
Optimized bisection
|
|
2
|
862
|
September 26, 2020
|
|
Bors selective CI statuses
|
|
1
|
476
|
September 2, 2020
|
|
Is it safe to run Bors in multiple webserver?
|
|
1
|
733
|
July 17, 2020
|
|
Repo forgot it's bors installation
|
|
4
|
559
|
July 7, 2020
|
|
Rebase a pull request
|
|
5
|
1959
|
July 1, 2020
|
|
Bors keep running and not merge to master
|
|
2
|
615
|
June 17, 2020
|