Creating a new public git tree on git.linaro.org

[Dave Martin]

I found the instructions useful... there was one anomaly though: for this bit:

Edit ".git/config" file in local tree and add following entry manually
(replace <..> with proper values in below url)

    * [remote "publish"]

            url = ssh://<username>@git.linaro.org:~/public_git/<gitproject>.git


...it didn't work for me.

Instead I used the URL form, which works fine:
ssh://<username>@git.linaro.org/home/<username>/public_git/<gitproject>.git

Also, I was able to add this with "git remote add" just fine ...
what's the rationale for editing .git/config by hand?

Cheers
---Dave