|
Welcome to the Bors-NG forum
|
1
|
August 1, 2017
|
|
Control renaming merged pull requests
|
9
|
March 25, 2020
|
|
Allow all contributors to `bors try` their own PRs
|
1
|
March 23, 2020
|
|
Sudden crash with concurrent batches
|
4
|
March 21, 2020
|
|
REFUSED CONNECTION TO BorsNG.UserSocket after upgrading
|
2
|
March 6, 2020
|
|
Heroku "Application error"
|
4
|
February 28, 2020
|
|
Bors is stuck
|
3
|
February 26, 2020
|
|
Allow patches to be batched by themselves only
|
13
|
February 11, 2020
|
|
Debugging possible "concurrent batcher" executions
|
3
|
February 13, 2020
|
|
Do try runs show in history?
|
1
|
February 11, 2020
|
|
Bug: Wildcard Status Ignores > 1 match
|
3
|
February 7, 2020
|
|
Bors crashing today
|
4
|
February 5, 2020
|
|
Better handling PRs with dependencies
|
3
|
February 3, 2020
|
|
Use GitHub Approved Review to indicate r+?
|
6
|
February 3, 2020
|
|
Show status on accepted RFCs
|
2
|
February 2, 2020
|
|
What is the intent of the `Batcher.cancel_all` call for abnormal Batcher exits?
|
3
|
January 21, 2020
|
|
Bors with GitHub Workflows
|
2
|
January 9, 2020
|
|
Failing to add a new repository
|
1
|
January 9, 2020
|
|
Explain failures using status message on batch details page
|
3
|
January 3, 2020
|
|
Simplify bors-ng/bors-ng's label system
|
4
|
January 17, 2020
|
|
Limiting the scope of merge failures in batches
|
1
|
January 2, 2020
|
|
ArgumentError raised when starting Bors
|
6
|
January 2, 2020
|
|
Resource not accessible by integration
|
12
|
December 30, 2019
|
|
Wildcard in status name?
|
2
|
December 19, 2019
|
|
Wait for CI to finish instead of rejecting immediately on bors r+ when CI is still "pending"
|
5
|
December 11, 2019
|
|
Chrome extension?
|
9
|
December 9, 2019
|
|
Possible to not close a branch off another branch?
|
4
|
November 27, 2019
|
|
How to change the commit message format?
|
4
|
October 31, 2019
|
|
Add a new configuration option `status_wait_success`
|
5
|
October 25, 2019
|
|
Bors stuck pending when CI completes
|
3
|
October 16, 2019
|
