On Fri, Jul 2, 2010 at 1:43 PM, nellai <[email protected]> wrote:
> "ssh: could not resolve host name "
This seems to say it couldn't find the host name. Try this first:
git remote -v
Personally, I use github for github and /home for origin...
github [email protected]:jettero/project.git (fetch)
github [email protected]:jettero/project.git (push)
origin /home/git/project (fetch)
origin /home/git/project (push)
But see the hostname there? github.com? Try to ping that. I suspect the
if git can't resolve the host name, ping can't either. If ping can't find
the host, your resolver is broken — should be an easy fix. However, if the
ping succeeds, *then* check your config file (once you find it) to see if
you've nicknamed github in some awful (and apparently brokne) way.
-Paul
--
If riding in an airplane is flying, then riding in a boat is swimming.
115 jumps, 47.9 minutes of freefall, 91.6 freefall miles.
--
You received this message because you are subscribed to the Google Groups
"GitHub" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/github?hl=en.
