Running Bors using `docker-compose` - how to enable HTTPS?
|
|
2
|
744
|
July 30, 2019
|
Test each commit in a PR
|
|
6
|
2695
|
July 26, 2019
|
Rename repository in Bors?
|
|
2
|
563
|
July 24, 2019
|
How is Bors different from protected branches on Github?
|
|
2
|
1311
|
July 18, 2019
|
Automatically merge dependabot PRs
|
|
2
|
1021
|
July 11, 2019
|
Add a "Bors enabled" badge for marketing/advertising
|
|
15
|
976
|
July 1, 2019
|
Bors with azure pipelines
|
|
2
|
641
|
June 27, 2019
|
Is anyone working on squash-merge for bors
|
|
0
|
688
|
June 19, 2019
|
Pre-test and Pre-merge hooks
|
|
13
|
2354
|
June 18, 2019
|
Elixir and Erlang version update policy
|
|
5
|
705
|
July 2, 2019
|
Incorrect URL in Github Health Check
|
|
1
|
522
|
June 15, 2019
|
New error - SyncerInstallation
|
|
1
|
575
|
June 14, 2019
|
Running custom code before and after the merge for continuous deployment (or other uses)
|
|
9
|
1185
|
June 10, 2019
|
The bors button extension
|
|
2
|
1174
|
June 9, 2019
|
Timeout on travis and circle
|
|
3
|
594
|
March 26, 2019
|
App.bors.tech stuck?
|
|
3
|
653
|
March 12, 2019
|
Bors-ng with new Travis-CI github integration
|
|
5
|
824
|
February 25, 2019
|
Handling temporary CI failures
|
|
1
|
671
|
February 24, 2019
|
Adopt a process for proposing, approving, and tracking major changes to bors-ng
|
|
2
|
1737
|
March 20, 2019
|
Setting up bors with docker-compose
|
|
0
|
1955
|
August 11, 2018
|
Miscellaneous Crashes put queue into bad state
|
|
11
|
1010
|
February 9, 2019
|
Does bors-ng run on heroku's free tier?
|
|
3
|
680
|
February 7, 2019
|
Installing own bors-ng on heroku - how to tell dashboard url
|
|
3
|
903
|
February 7, 2019
|
How to tell INTEGRATION_ID
|
|
2
|
799
|
February 7, 2019
|
[invalid] Revoking an `r+` holds back all PRs in the batch
|
|
1
|
750
|
February 4, 2019
|
Pre-RFC: Creating a formal decision-making process for bors-ng
|
|
6
|
1765
|
February 20, 2019
|
Is there any good books to understand the fundamental of functional programming?
|
|
1
|
533
|
January 31, 2019
|
Bors sometimes doesn't see retry messages until a ping
|
|
1
|
663
|
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
|
557
|
December 18, 2018
|