This seems to make a repo into a series of jsons. The git server could be whatever got server you want. They happen to be using GitHub as the remote server but you could presumably pull the repo from the nevent without the need of GitHub. Kind of like a mirror of a remote git server over nostr. You could use gitlab or gittea instead of GitHub. Or anyone could take your repo from nostr and use it locally and push back to the nevent without the need of a remote per say. It still seems very early but I like this solution of keeping a git remote server.