ssh: git+ssh: Name or service not known

[Brad Larson]

We just upgraded to the latest version of repo from 1.5.something...
long story...

Anyways, on a repo sync we now get a status message:

ssh: git+ssh: Name or service not known.

If I change our URLs to be ssh:// instead of git+ssh://, I get a
similar message:

ssh: ssh: Name or service not known.

Removing the ssh:// altogether causes bigger problems of course

Is this message due to the ssh tunneling added recently? Is there any
cause for concern? Anything I can do to remove the message?

Thanks!
Brad

[Shawn Pearce]

Sounds to me like the URL parser in git_config.py isn't handling your URL right and is somehow taking the protocol as the hostname.

We use ssh://our.host:29418/platform/build.git style URLs just fine with the latest repo.  But that doesn't mean repo is bug free.

Maybe its the lack of port in the URL that is making it split the URL as though it were an scp style URL like "host:/path" ?

Actually, I think you did uncover a bug, does https://review.source.android.com/9716 fix it ?

[Brad Larson]

On Apr 30, 4:31 pm, Shawn Pearce <s...@google.com> wrote:

It does indeed. Can we continue to use the current version until that
fix gets merged in, or should we revert to something earlier?

[Shawn Pearce]

On Thu, Apr 30, 2009 at 14:43, Brad Larson <bkla...@gmail.com> wrote:

It does indeed.  Can we continue to use the current version until that
fix gets merged in, or should we revert to something earlier?

Sure.  But I just pushed a signed 1.6.7.3 out, with that change included.