|
Welcome to the Bors-NG forum
|
|
0
|
2327
|
August 1, 2017
|
|
Any plans when bors will be shut down?
|
|
11
|
619
|
October 5, 2023
|
|
Public bors instance down?
|
|
1
|
63
|
October 3, 2023
|
|
Has anyone been able to run bors locally with the setup script with Apple M1 Silicon
|
|
1
|
221
|
September 15, 2023
|
|
Bors crashing with ArgumentError unknown registry
|
|
0
|
81
|
September 15, 2023
|
|
Help migrating to Github merge queues
|
|
1
|
201
|
July 19, 2023
|
|
Bors doesn't remove PRs from the queue if they merged manually
|
|
0
|
133
|
June 14, 2023
|
|
Cancelling bors on a PR doesn't cancel already started GitHub-Action pipelines
|
|
0
|
120
|
June 14, 2023
|
|
Bors cannot merge PRs in batches
|
|
2
|
232
|
June 13, 2023
|
|
Registering a new GitHub app to setup a bors instance: which events to subscribe to
|
|
2
|
200
|
June 12, 2023
|
|
Cancelling bors on a PR doesn't cancel already started GitHub pipelines
|
|
0
|
197
|
June 7, 2023
|
|
Minimal recommended resources for self-hosting
|
|
1
|
147
|
May 24, 2023
|
|
Refuse to merge to bases other than `master`
|
|
1
|
267
|
May 2, 2023
|
|
Crash from 'Head does not exist'
|
|
0
|
152
|
April 4, 2023
|
|
Behavior when a PR is closed
|
|
2
|
429
|
March 26, 2023
|
|
Pre-approving PRs in bors before they are approved in Github
|
|
2
|
368
|
March 13, 2023
|
|
Other apps that implement the NRSROSE
|
|
5
|
3489
|
February 27, 2023
|
|
A possibility to pararelize `bors try` runs?
|
|
1
|
206
|
January 19, 2023
|
|
Empty "Additional Info" section on failed batch PR merge
|
|
2
|
231
|
January 13, 2023
|
|
Intermittently getting bors crashed with status 500 without any message
|
|
2
|
263
|
January 12, 2023
|
|
`bors try-` doesn't acknowledge cancellation
|
|
0
|
176
|
January 12, 2023
|
|
Bors Broken For My GitHub Repo: All PRs Fail to Merge Due to Stale Status Check
|
|
1
|
252
|
December 29, 2022
|
|
Bors commenting after months?
|
|
0
|
187
|
December 22, 2022
|
|
Bors r+ - wait for CI to succeed
|
|
3
|
881
|
November 3, 2022
|
|
Bors stuck in "running", never finishing jobs
|
|
1
|
296
|
October 25, 2022
|
|
Check matrix
|
|
1
|
249
|
October 13, 2022
|
|
Reopened PR fails to run bors r+
|
|
1
|
284
|
October 4, 2022
|
|
Bors crashing with multiple workflows
|
|
3
|
287
|
September 12, 2022
|
|
Bors public app is down – https://app.bors.tech/
|
|
3
|
456
|
September 6, 2022
|
|
Is it possible to change the name of the CI status bors sets?
|
|
2
|
273
|
September 5, 2022
|