OceanSlim on Nostr: why would you need git tea to pull repos to your local system? a git remote server is ...why would you need git tea to pull repos to your local system? a git remote server is not git.