Detailed and thorough writeup of GitHub’s recent production issue.