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