This content has moved to /blog/2013/11/25/summary-report-git-repository-disruption-incident-of-nov-10th