Reputation: 9865
I have been pulling from this repo, and I recently had some changes that I wanted to push, so I tried the usual git push origin master
, only to find out that it doesn’t work:
19:02 $ git push origin master
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
But I am able to pull from the repo:
19:02 $ git pull origin master
From <url>
* branch master -> FETCH_HEAD
Already up-to-date.
I know that must be correct since I am able to pull. According to my admin (whom I asked this question), I have developer rights which means I should be able to both pull and push. What could be the issue?
Upvotes: 4
Views: 2472
Reputation: 4236
Most likely this is related to either an outdated git version or to missing access rights in your repository if you are using github, bitbucket or similar.
Upvotes: 1