tools/docolin/hosting/connect-repo · How-to Connect a git repo The fast path for git users, point docolin at a Not verified yet githubcodeberg