Johannes Schindelin <Johannes.Schindelin@xxxxxx> wrote: > 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. Right. But maybe there should be an easier way for the user to "force" adding the remote over the existing remote. Much like how they can force creating a branch over an existing branch. Too bad -f is already taken. :-\ -- Shawn. - 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
