Looking through earlier news, a July 2024 release note proudly proclaims “The git migration is on its way!”. But I’ve had a look around and can’t easily find an

Looking through earlier news, a July 2024 release note proudly proclaims “The git migration is on its way!”. But I’ve had a look around and can’t easily find any active git repo. Anyone know the current status around ‘moving to git’? Ref: https://play0ad.com/the-git-migration-is-on-its-way/ https://play0ad.com/the-git-migration-is-on-its-way/