Git push cannot find host

I am trying to click on a remote repo, to which I have already been pushing, however now I get an error that I do not understand.

git push
ssh: Could not resolve hostname github.com: nodename nor servname provided, or not known
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

Then i did git status

On branch master
Your branch is ahead of 'origin/master' by 2 commits.
  (use "git push" to publish your local commits)
nothing to commit, working directory clean

Then i ran git remote -v

origin  git@github.com:<username>/<projectName>.git (fetch)
origin  git@github.com:<username>/<projectName>.git (push)

I would be grateful for some recommendations. My gut tells me this is not a git problem, but a network problem. Any help is appreciated.

+4
source share
2 answers

There seems to be some error with the Apple process discoveryd. I read about the problem here and here.

I killed the process and everything worked fine.

+2
source

, git /push. 9418. . Git . , . , ssh, GIT :

git remote set-url --push origin ssh://github.com:<username>/<projectName>.git (push)

.

0

All Articles