|
Welcome to the Bors-NG forum
|
|
1
|
889
|
August 1, 2017
|
|
How do I update bors-ng in Heroku?
|
|
1
|
12
|
May 29, 2020
|
|
Bors responding to ping, but not try or r+
|
|
9
|
59
|
May 20, 2020
|
|
Solved: bors keeps ignoring r+
|
|
1
|
33
|
May 18, 2020
|
|
Bors keep running and not merge to master
|
|
1
|
19
|
May 17, 2020
|
|
Ignoring GitHub public email for committer
|
|
1
|
19
|
May 12, 2020
|
|
Bors with GitHub Workflows
|
|
4
|
215
|
May 10, 2020
|
|
Bors try doesn't wait untill last build finishes?
|
|
4
|
236
|
April 30, 2020
|
|
Give "all users" the try permission
|
|
3
|
45
|
April 30, 2020
|
|
The required_approvals option should require up-to-date approvals
|
|
4
|
46
|
April 24, 2020
|
|
Sudden crash with concurrent batches
|
|
9
|
120
|
April 23, 2020
|
|
Will Bors automatically merge a PR if it's up to date with master?
|
|
2
|
50
|
April 23, 2020
|
|
What events does the bors app need to subscribe to?
|
|
1
|
32
|
April 19, 2020
|
|
Failing to add a new repository
|
|
5
|
110
|
April 10, 2020
|
|
Upgrading Bors to latest, crash
|
|
2
|
56
|
April 7, 2020
|
|
Use GitHub branch protection rules instead of custom config file
|
|
2
|
53
|
April 1, 2020
|
|
Time between batch cancellation and next batch start
|
|
1
|
39
|
April 1, 2020
|
|
Control renaming merged pull requests
|
|
9
|
212
|
March 25, 2020
|
|
Allow all contributors to `bors try` their own PRs
|
|
1
|
70
|
March 23, 2020
|
|
REFUSED CONNECTION TO BorsNG.UserSocket after upgrading
|
|
2
|
70
|
March 6, 2020
|
|
Heroku "Application error"
|
|
4
|
72
|
February 28, 2020
|
|
Bors is stuck
|
|
3
|
122
|
February 26, 2020
|
|
Allow patches to be batched by themselves only
|
|
13
|
205
|
February 11, 2020
|
|
Debugging possible "concurrent batcher" executions
|
|
3
|
87
|
February 13, 2020
|
|
Do try runs show in history?
|
|
1
|
81
|
February 11, 2020
|
|
Bug: Wildcard Status Ignores > 1 match
|
|
3
|
104
|
February 7, 2020
|
|
Bors crashing today
|
|
4
|
114
|
February 5, 2020
|
|
Better handling PRs with dependencies
|
|
3
|
193
|
February 3, 2020
|
|
Use GitHub Approved Review to indicate r+?
|
|
6
|
376
|
February 3, 2020
|
|
Show status on accepted RFCs
|
|
2
|
92
|
February 2, 2020
|
