UPDATE: Maintenance completed with great success. Thanks!
The site will be down for maintenance today (Friday, May 28, 2010) starting at 22:00 PST for a (long due) Redis upgrade. We expect the outage to last only a few minutes and plan to roll back if downtime exceeds 15 minutes. During this time, the site and all repository access via git/ssh will be unavailable.