|
A possibility to pararelize `bors try` runs?
|
|
1
|
28
|
January 19, 2023
|
|
`bors try-` doesn't acknowledge cancellation
|
|
0
|
12
|
January 12, 2023
|
|
Bors commenting after months?
|
|
0
|
24
|
December 22, 2022
|
|
Is it possible to change the name of the CI status bors sets?
|
|
2
|
80
|
September 5, 2022
|
|
Is bors down?
|
|
0
|
288
|
December 7, 2021
|
|
Use GitHub branch protection rules instead of custom config file
|
|
4
|
690
|
October 14, 2021
|
|
Group commits into a merge
|
|
0
|
331
|
February 9, 2021
|
|
Bors missing approvals
|
|
3
|
368
|
November 15, 2020
|
|
Bors falsely reports build failed
|
|
0
|
430
|
July 28, 2020
|
|
Option to not include the PR description in the Bors merge commit
|
|
1
|
483
|
June 15, 2020
|
|
Why don't Bors-ng pages update automatically?
|
|
6
|
496
|
June 13, 2020
|
|
Bors responding to ping, but not try or r+
|
|
8
|
885
|
May 20, 2020
|
|
Will Bors automatically merge a PR if it's up to date with master?
|
|
1
|
445
|
April 23, 2020
|
|
Upgrading Bors to latest, crash
|
|
1
|
588
|
April 7, 2020
|
|
Use GitHub Approved Review to indicate r+?
|
|
5
|
933
|
February 3, 2020
|
|
Introduce yourself!
|
|
6
|
3046
|
November 10, 2018
|