We switched to our own git server

We switched to our own git server:
https://git.arctium.org/groups/arctium

More info here: https://forum.arctium.org/threads/arctium-git-service.55