Pull but no push in git
1$ git remote set-url --push origin no-pushing
2$ git push
3fatal: 'no-pushing' does not appear to be a git repository
4fatal: The remote end hung up unexpectedly
See https://stackoverflow.com/questions/7556155/git-set-up-a-fetch-only-remote