Uncategorized
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
Bors falsely reports build failed
|
|
1 | 61 | July 28, 2020 |
|
Option to not include the PR description in the Bors merge commit
|
|
2 | 106 | June 15, 2020 |
|
Why don't Bors-ng pages update automatically?
|
|
7 | 100 | June 13, 2020 |
|
Bors responding to ping, but not try or r+
|
|
9 | 210 | May 20, 2020 |
|
Will Bors automatically merge a PR if it's up to date with master?
|
|
2 | 147 | April 23, 2020 |
|
Upgrading Bors to latest, crash
|
|
2 | 148 | April 7, 2020 |
|
Use GitHub branch protection rules instead of custom config file
|
|
2 | 150 | April 1, 2020 |
|
Use GitHub Approved Review to indicate r+?
|
|
6 | 485 | February 3, 2020 |
|
Introduce yourself!
|
|
7 | 2066 | November 10, 2018 |