Hmm, github.com is throwing a 500 error at the moment. I wonder if this is somehow related?