Hey,
I'm setting up a ROM's repo and since https has some issues, I figured using SSH fetch URLs might be the best idea.
My first try was this:
<remote name="myrom"
fetch="ssh://g...@github.com:myrom/"
revision="jellybean" />
...
<project path="system/extras" name="platform_system_extras" remote="slimdroid" revision="jellybean" />
Which leads to this error (for every repo that is my own rather than stock):
Fetching projects: 99% (292/294) ssh: Could not resolve hostname github.com:myrom: Name or service not known
fatal: The remote end hung up unexpectedly
error: Cannot fetch platform_system_extras
If I look at Cyanogenmod's manifest, I see that they have this:
<remote name="private"
fetch="ssh://g...@github.com" />
However, since all my repos are part of a github organization, I find it redundant to add myrom_ to every repo name and make it work that way. Is there something I'm not understanding? What is the proper way to use ssh and repo?
Thanks,