Hi, On Thu, 18 Oct 2007, Guido Ostkamp wrote: > I think I've found a bug in "git remote add". I tried the following: > > $ git remote add -f spearce2 http://repo.or.cz/git/spearce.git > Cannot get the repository state from http://repo.or.cz/git/spearce.git > fetch spearce2: command returned error: 1 > > Obviously I used the wrong URI. Then I tried again: > > $ git remote add -f spearce2 http://repo.or.cz/r/git/spearce.git > remote spearce2 already exists. > > I think Git should not store the bad info and block the name when the > first call wasn't successfull. The problem there is of course that the fetch could fail because you are offline. In that case, you do not want git remote to throw the information away. BTW you missed the trailing slash in the HTTP URL, I guess. Ciao, Dscho - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
