I *think* I have the (SSH) URL for one of my remote (on Hal) repositories right - at least the 'git add remote' finished without grumbles. Now trying to decide which command to use to get some code from the server into my local practice project... pull, fetch, clone? I've already decided I don't need clone (now). Pondering this over my morning #tea. #git #hal This is instructive: http://stackoverflow.com/questions/292357/what-are-the-differences-between-git-pull-and-git-fetch