From: Shawn O. Pearce Date: Fri, 19 Oct 2007 00:20:17 GMT Subject: Re: [BUG] git remote add failure Message-ID: <20071019002017.GP14735@spearce.org> In-Reply-To: Johannes Schindelin 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.