Twenty-seventh monthly bors newsletter Apr 1, 2019
This March, no major changes were shipped.
Read more...Bors is a GitHub bot that prevents merge skew / semantic merge conflicts, so when a developer checks out the main branch, they can expect all of the tests to pass out-of-the-box.
bors r+, adding it to the merge queueThe cool part of separating the merging from the publishing is that the exact integration of pull requests that end up in master have already been tested before any developers try to work on it or users try to deploy it. It means less reverting commits after merging them, less hunting down others' mistakes before being able to do any of your own work, and, because bors does everything in the background, less waiting around for tests to run.
This March, no major changes were shipped.
Read more...This February, we just fixed a bunch of bugs
Read more...This January, we fixed and responded to long-standing bugs and complaints
Read more...Last December, priority bumping and CircleCI integration were improved.
Read more...This November, a few scalability problems were fixed
Read more...This October, the short form of `committer` was fixed
Read more...This September, bors was upgraded to Elixir 1.7
Read more...Running more than one GitHub app with the same name
Read more...This August, bugs affecting big repositories and delegation were fixed
Read more...This July, bors landed a fix that can help if the Installation webhook gets missed for some reason
Read more...