|
The ability to delegate `try` but not `r+` permissions
|
|
5
|
195
|
October 15, 2019
|
|
Bors push/commit not triggering github/pages task
|
|
4
|
174
|
September 15, 2019
|
|
Possible bug: long delay between `bors try` succeeding and the `try - Build succeeded` comment being posted
|
|
3
|
159
|
September 9, 2019
|
|
Is it possible to cancel a "try" command?
|
|
2
|
304
|
August 29, 2019
|
|
Bors r+ - wait for CI to succeed
|
|
3
|
355
|
August 24, 2019
|
|
Link for github bors plugin
|
|
2
|
158
|
August 23, 2019
|
|
Restricting access to the Bors dashboard
|
|
2
|
175
|
August 20, 2019
|
|
Bug report: Travis should not look at the `codecov` status if the Travis status check is still pending
|
|
11
|
450
|
August 14, 2019
|
|
Just merge if a recent 'bors try' succeeded
|
|
2
|
172
|
August 8, 2019
|
|
Batching strategy vs one-at-a-time
|
|
7
|
767
|
July 31, 2019
|
|
Unable to remove repositories from Bors
|
|
4
|
128
|
July 31, 2019
|
|
Update the version of bors in the `borsng/bors-ng` Docker image
|
|
4
|
157
|
July 31, 2019
|
|
Running Bors using `docker-compose` - how to enable HTTPS?
|
|
3
|
150
|
July 30, 2019
|
|
Test each commit in a PR
|
|
7
|
1492
|
July 26, 2019
|
|
Rename repository in Bors?
|
|
3
|
135
|
July 24, 2019
|
|
How is Bors different from protected branches on Github?
|
|
3
|
282
|
July 18, 2019
|
|
Automatically merge dependabot PRs
|
|
3
|
433
|
July 11, 2019
|
|
Bors with azure pipelines
|
|
3
|
226
|
June 27, 2019
|
|
{:badmatch, {:error, :push, 422}} on batch
|
|
3
|
227
|
June 24, 2019
|
|
Incorrect URL in Github Health Check
|
|
2
|
159
|
June 15, 2019
|
|
New error - SyncerInstallation
|
|
2
|
150
|
June 14, 2019
|
|
Timeout on travis and circle
|
|
4
|
212
|
March 26, 2019
|
|
App.bors.tech stuck?
|
|
4
|
229
|
March 12, 2019
|
|
Bors-ng with new Travis-CI github integration
|
|
6
|
406
|
February 25, 2019
|
|
Handling temporary CI failures
|
|
2
|
224
|
February 24, 2019
|
|
Miscellaneous Crashes put queue into bad state
|
|
12
|
400
|
February 9, 2019
|
|
Does bors-ng run on heroku's free tier?
|
|
4
|
237
|
February 7, 2019
|
|
Installing own bors-ng on heroku - how to tell dashboard url
|
|
4
|
308
|
February 7, 2019
|
|
How to tell INTEGRATION_ID
|
|
3
|
264
|
February 7, 2019
|
|
[invalid] Revoking an `r+` holds back all PRs in the batch
|
|
2
|
221
|
February 4, 2019
|
