Given the troubles GitHub has had recently its not a stretch to think that you just got some sort of error.