That was more than 3 months ago. Github goes down more often than that.