Due to the recent heartbleed bug (good summary of the impact on half a million web sites here), we’ve had to regenerate our SSL keys and patch our servers, just like the rest of the internet. (Quick summary: it’s a very very no good just awful bug impacting ssl security.)

Happily, we’ve gone through all of the necessary heartache to patch our primary web server, our wiki, and infrastructure servers and are currently patching our repository. We have also regenerated our SSL private keys and certificates, so we’ve mitigated the bug’s impact, but it’s still a very very scary bug and thousands of major websites are still unpatched.