A massive thanks to Justin DeOlivera for setting up the origional GitHub mirror, transitioning the committer list over to GitHub, updating the build boxes to checkout from the new repository, the release scripts to tag correctly and so forth. With any transition supporting the developer community is critical, and Justin has done a great job answering questions about git (and filling in lots of docs with the details).