[toyg]

The page shows that git over https is still up, so hopefully it's just a peripheral problem rather than a fundamental one.