Haha. To be fair GitHub has had a lot of issues that last few months though.