|
About the Support category
|
|
0
|
754
|
August 21, 2017
|
|
Empty "Additional Info" section on failed batch PR merge
|
|
2
|
51
|
January 13, 2023
|
|
Intermittently getting bors crashed with status 500 without any message
|
|
2
|
39
|
January 12, 2023
|
|
Bors Broken For My GitHub Repo: All PRs Fail to Merge Due to Stale Status Check
|
|
1
|
36
|
December 29, 2022
|
|
Refuse to merge to bases other than `master`
|
|
0
|
57
|
November 22, 2022
|
|
Has anyone been able to run bors locally with the setup script with Apple M1 Silicon
|
|
0
|
42
|
November 8, 2022
|
|
Bors r+ - wait for CI to succeed
|
|
3
|
684
|
November 3, 2022
|
|
Bors stuck in "running", never finishing jobs
|
|
1
|
74
|
October 25, 2022
|
|
Check matrix
|
|
1
|
71
|
October 13, 2022
|
|
Reopened PR fails to run bors r+
|
|
1
|
86
|
October 4, 2022
|
|
Bors crashing with multiple workflows
|
|
3
|
94
|
September 12, 2022
|
|
Bors public app is down – https://app.bors.tech/
|
|
3
|
261
|
September 6, 2022
|
|
Is it possible to have the staging branch have multiple merge commits?
|
|
0
|
110
|
August 4, 2022
|
|
Bors doesn't do its job at all
|
|
1
|
197
|
July 10, 2022
|
|
Pre-approving PRs in bors before they are approved in Github
|
|
1
|
154
|
May 9, 2022
|
|
Merging works but not trying
|
|
8
|
200
|
May 2, 2022
|
|
"Rejected by PR status" despite the check is validated
|
|
1
|
194
|
April 21, 2022
|
|
Bors never stops waiting for CI
|
|
2
|
312
|
March 15, 2022
|
|
Bors not getting build notifications for nix-rust/nix
|
|
2
|
194
|
February 5, 2022
|
|
Behavior when a PR is closed
|
|
1
|
199
|
February 4, 2022
|
|
Circleci batch canceled
|
|
0
|
249
|
December 7, 2021
|
|
Repo members via team no longer have bors access
|
|
3
|
255
|
November 10, 2021
|
|
PRs requiring reviews fail bors silently
|
|
3
|
766
|
October 20, 2021
|
|
Using GitHub Actions for bors-implemented GitHub-enforced checks
|
|
0
|
295
|
October 14, 2021
|
|
Bors crashing, "Resource not accessible by integration"
|
|
8
|
758
|
October 6, 2021
|
|
`bors.toml: expected status to be a list`, when it is
|
|
2
|
356
|
October 1, 2021
|
|
Ignoring GitHub public email for committer
|
|
1
|
476
|
September 22, 2021
|
|
Bors not responding to commands
|
|
13
|
2556
|
September 8, 2021
|
|
Can't fetch value for key `BorsNG.GitHub.Server` of application `:bors
|
|
5
|
471
|
September 7, 2021
|
|
Connecting with myxql
|
|
1
|
332
|
August 19, 2021
|