"Brad Roberts" wrote in message
The only thing I'm sure is broken right now are the old greasemonkey
integrate test results with github (the native github build status stuff
works still). I'll get those fixed up tomorrow.. they've been needing an
overhaul for a long time.
They appear to still be working. If you could add an auto-merge button so
it shows up when I'm looking at a pull request that would be awesome.