Sixty-seventh monthly bors newsletter Aug 1, 2022
This July, bors-ng became more robust to race conditions
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 the main branch 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 July, bors-ng became more robust to race conditions
Read more...This June, no notable changes were landed
Read more...This May, bors got an env variable for HTTP proxying
Read more...Rotating credentials howto
Read more...This April, it mostly just bumped transitive deps
Read more...This March, we dropped IE11 support on the dashboard
Read more...This February, we made MySQL databases work in the stock Docker container
Read more...This January, we fixed bors to respect timeout settings
Read more...Last December, no notable changes were landed
Read more...This November, we fixed a GitHub Enterprise bug
Read more...