Thanks for having a look, @betatim. It worked just after you opened the ticket. Does this mean the registry got fixed or was it just a lucky coincidence?
After pushing more changes to the repo, I see the same timeout on OVH for the new (and final, for now) Git ref again.