When I was a summer intern 10 years ago I remember there without fail always being a day where GitHub was down, ever summer. Good times.