|
Any plans when bors will be shut down?
|
|
11
|
619
|
October 5, 2023
|
|
Public bors instance down?
|
|
1
|
63
|
October 3, 2023
|
|
Help migrating to Github merge queues
|
|
1
|
201
|
July 19, 2023
|
|
A possibility to pararelize `bors try` runs?
|
|
1
|
206
|
January 19, 2023
|
|
`bors try-` doesn't acknowledge cancellation
|
|
0
|
176
|
January 12, 2023
|
|
Bors commenting after months?
|
|
0
|
187
|
December 22, 2022
|
|
Is it possible to change the name of the CI status bors sets?
|
|
2
|
273
|
September 5, 2022
|
|
Is bors down?
|
|
0
|
444
|
December 7, 2021
|
|
Use GitHub branch protection rules instead of custom config file
|
|
4
|
837
|
October 14, 2021
|
|
Group commits into a merge
|
|
0
|
425
|
February 9, 2021
|
|
Bors missing approvals
|
|
3
|
484
|
November 15, 2020
|
|
Bors falsely reports build failed
|
|
0
|
565
|
July 28, 2020
|
|
Option to not include the PR description in the Bors merge commit
|
|
1
|
591
|
June 15, 2020
|
|
Why don't Bors-ng pages update automatically?
|
|
6
|
665
|
June 13, 2020
|
|
Bors responding to ping, but not try or r+
|
|
8
|
1184
|
May 20, 2020
|
|
Will Bors automatically merge a PR if it's up to date with master?
|
|
1
|
536
|
April 23, 2020
|
|
Upgrading Bors to latest, crash
|
|
1
|
701
|
April 7, 2020
|
|
Use GitHub Approved Review to indicate r+?
|
|
5
|
1090
|
February 3, 2020
|
|
Introduce yourself!
|
|
6
|
3147
|
November 10, 2018
|