Uncategorized
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
Bors missing approvals
|
|
3 | 44 | November 15, 2020 |
|
Bors falsely reports build failed
|
|
0 | 117 | July 28, 2020 |
|
Option to not include the PR description in the Bors merge commit
|
|
1 | 163 | June 15, 2020 |
|
Why don't Bors-ng pages update automatically?
|
|
6 | 162 | June 13, 2020 |
|
Bors responding to ping, but not try or r+
|
|
8 | 321 | May 20, 2020 |
|
Will Bors automatically merge a PR if it's up to date with master?
|
|
1 | 201 | April 23, 2020 |
|
Upgrading Bors to latest, crash
|
|
1 | 190 | April 7, 2020 |
|
Use GitHub branch protection rules instead of custom config file
|
|
1 | 196 | April 1, 2020 |
|
Use GitHub Approved Review to indicate r+?
|
|
5 | 528 | February 3, 2020 |
|
Introduce yourself!
|
|
6 | 2505 | November 10, 2018 |