Topic Replies Activity
Rename repository in Bors? 3 July 24, 2019
How is Bors different from protected branches on Github? 3 July 18, 2019
Automatically merge dependabot PRs 3 July 11, 2019
Other apps that implement the NRSROSE 3 July 7, 2019
Add a "Bors enabled" badge for marketing/advertising 16 July 1, 2019
Bors with azure pipelines 3 June 27, 2019
{:badmatch, {:error, :push, 422}} on batch 3 June 24, 2019
Is anyone working on squash-merge for bors 1 June 19, 2019
Pre-test and Pre-merge hooks 14 June 18, 2019
Elixir and Erlang version update policy 6 July 2, 2019
Use GitHub Approved Review to indicate r+? 5 June 16, 2019
Incorrect URL in Github Health Check 2 June 15, 2019
New error - SyncerInstallation 2 June 14, 2019
Running custom code before and after the merge for continuous deployment (or other uses) 10 June 10, 2019
The bors button extension 3 June 9, 2019
Adding new reviewers to a repository 3 April 16, 2019
Timeout on travis and circle 4 March 26, 2019
App.bors.tech stuck? 4 March 12, 2019
Bors-ng with new Travis-CI github integration 6 February 25, 2019
Handling temporary CI failures 2 February 24, 2019
Adopt a process for proposing, approving, and tracking major changes to bors-ng 3 March 20, 2019
Rebase a pull request 5 February 20, 2019
Setting up bors with docker-compose 1 August 11, 2018
Miscellaneous Crashes put queue into bad state 12 February 9, 2019
Does bors-ng run on heroku's free tier? 4 February 7, 2019
Installing own bors-ng on heroku - how to tell dashboard url 4 February 7, 2019
How to tell INTEGRATION_ID 3 February 7, 2019
[invalid] Revoking an `r+` holds back all PRs in the batch 2 February 4, 2019
Pre-RFC: Creating a formal decision-making process for bors-ng 7 February 20, 2019
Is there any good books to understand the fundamental of functional programming? 2 January 31, 2019