They moved to non-git infra? (lots of options like gitlab etc, github's been going in a strange direction so not unexpected)