Twenty-fifth monthly bors newsletter Feb 1, 2019
This January, we fixed and responded to long-standing bugs and complaints
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...This June, GitHub Reviews-related bugs got fixed
Read more...This May, I added support for gating on the new GitHub Checks API
Read more...