Looking forward to the post mortem. GitHub tends to have informative ones, and it's been a while since their site has gone down so it's probably an interesting problem.