|
Batching strategy vs one-at-a-time
|
|
6
|
2015
|
July 31, 2019
|
|
Unable to remove repositories from Bors
|
|
3
|
498
|
July 31, 2019
|
|
Update the version of bors in the `borsng/bors-ng` Docker image
|
|
3
|
671
|
July 31, 2019
|
|
Running Bors using `docker-compose` - how to enable HTTPS?
|
|
2
|
744
|
July 30, 2019
|
|
Test each commit in a PR
|
|
6
|
2694
|
July 26, 2019
|
|
Rename repository in Bors?
|
|
2
|
562
|
July 24, 2019
|
|
How is Bors different from protected branches on Github?
|
|
2
|
1311
|
July 18, 2019
|
|
Automatically merge dependabot PRs
|
|
2
|
1020
|
July 11, 2019
|
|
Bors with azure pipelines
|
|
2
|
640
|
June 27, 2019
|
|
Incorrect URL in Github Health Check
|
|
1
|
521
|
June 15, 2019
|
|
New error - SyncerInstallation
|
|
1
|
574
|
June 14, 2019
|
|
Timeout on travis and circle
|
|
3
|
593
|
March 26, 2019
|
|
App.bors.tech stuck?
|
|
3
|
652
|
March 12, 2019
|
|
Bors-ng with new Travis-CI github integration
|
|
5
|
823
|
February 25, 2019
|
|
Handling temporary CI failures
|
|
1
|
670
|
February 24, 2019
|
|
Miscellaneous Crashes put queue into bad state
|
|
11
|
1009
|
February 9, 2019
|
|
Does bors-ng run on heroku's free tier?
|
|
3
|
679
|
February 7, 2019
|
|
Installing own bors-ng on heroku - how to tell dashboard url
|
|
3
|
902
|
February 7, 2019
|
|
How to tell INTEGRATION_ID
|
|
2
|
798
|
February 7, 2019
|
|
[invalid] Revoking an `r+` holds back all PRs in the batch
|
|
1
|
749
|
February 4, 2019
|
|
Bors sometimes doesn't see retry messages until a ping
|
|
1
|
662
|
January 30, 2019
|
|
Bors try results in "Not awaiting review", despite PR listed in dashboard
|
|
2
|
686
|
January 5, 2019
|
|
Priority change is ignored if given after r+
|
|
1
|
556
|
December 18, 2018
|
|
Bors batch crashed / cancelled after passing `staging` build (branch protection?)
|
|
2
|
1513
|
December 12, 2018
|
|
Merge to `dev` not `master` / honor the `default branch` setting
|
|
2
|
730
|
December 7, 2018
|
|
Usage with Gitlab CI
|
|
5
|
1313
|
November 20, 2018
|
|
Buildbot/bors: github still expecting a status check after successful `bors try`
|
|
5
|
1604
|
November 1, 2018
|
|
Can bors-ng delete the branch after it has merged?
|
|
2
|
704
|
October 30, 2018
|
|
How to use it with GOCD?
|
|
1
|
606
|
October 16, 2018
|
|
Getting gfx-rs/gfx-mem set up
|
|
11
|
1294
|
November 8, 2018
|