Twelfth monthly bors newsletter Jan 1, 2018
This December, a few common sources of confusion were remedied.
Read more...Eleventh monthly bors newsletter Dec 1, 2017
This November, we added a permission mode for users who can "bors try" a PR but can't "bors r+" it
Read more...Tenth monthly bors newsletter Nov 1, 2017
This October, a bunch of little usability improvements were made
Read more...Ninth monthly bors newsletter Oct 1, 2017
This September, setting up your own instance got easier, the top-of-screen notifications got a close button, and more
Read more...Eighth monthly bors newsletter Sep 1, 2017
What happened with bors in the month of August
Read more...Get help using Bors-NG on the new support forum Aug 25, 2017
There's a real, official place to ask questions now. It's at forum.bors.tech. You can log in with your GitHub account, just like you log into bors itself.
Read more...Downtime from 5:47 PM to 2:00 AM UTC the next day Aug 24, 2017
We screwed up and pushd a broken pull request into production
Read more...Seventh monthly bors newsletter Aug 1, 2017
What happened with bors in the month of July
Read more...Sixth monthly bors newsletter Jul 1, 2017
What happened with bors in the month of June
Read more...Fifth monthly bors newsletter Jun 1, 2017
What happened with bors in the month of May
Read more...