Push to hub 500 server error

Hmm… It’s been going on for a while. Maybe something is broken… @pierric