Ok, seems like GitHub was simply derping