gitlab not reachable over ipv6 from (at least) UK ISP Andrews and Arnold
zealot:~> ping gitlab.torproject.org
PING gitlab.torproject.org(gitlab-02.torproject.org (2a01:4f8:fff0:4f:266:37ff:feb8:3489)) 56 data bytes
That's from 2001:8b0:bb7b:4008:c50a:b4d5:6fc1:31f2.
Confirmed by other folks on #a&a
at irc.aachat.net
. Reports there suggest there might be a problem with Hetzner?
It's reachable from my personal colo, which is with Jump in London.
I don't know if this is a problem at the TPO end, or at the AAISP end. (It's quite inconvenient since it makes git push not work.)