Uncategorized
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
Group commits into a merge
|
|
0 | 40 | February 9, 2021 |
|
Bors missing approvals
|
|
3 | 117 | November 15, 2020 |
|
Bors falsely reports build failed
|
|
0 | 180 | July 28, 2020 |
|
Option to not include the PR description in the Bors merge commit
|
|
1 | 229 | June 15, 2020 |
|
Why don't Bors-ng pages update automatically?
|
|
6 | 223 | June 13, 2020 |
|
Bors responding to ping, but not try or r+
|
|
8 | 410 | May 20, 2020 |
|
Will Bors automatically merge a PR if it's up to date with master?
|
|
1 | 248 | April 23, 2020 |
|
Upgrading Bors to latest, crash
|
|
1 | 247 | April 7, 2020 |
|
Use GitHub branch protection rules instead of custom config file
|
|
1 | 249 | April 1, 2020 |
|
Use GitHub Approved Review to indicate r+?
|
|
5 | 612 | February 3, 2020 |
|
Introduce yourself!
|
|
6 | 2671 | November 10, 2018 |