zulip/tools/setup-git-repo