Docs: when pushing to github, the repo path needs to end in .git