From: Jeff King <peff@peff.net>
Date: Tue, 15 Jan 2008 16:50:41 GMT
Subject: Re: [PATCH] git-remote - Unset core.origin when deleting the default remote
Message-ID: <20080115165041.GB9478@coredump.intra.peff.net>
In-Reply-To: <478C3E75.2030801@gmail.com>

On Tue, Jan 15, 2008 at 12:02:45AM -0500, Mark Levedahl wrote:

>> I'm not sure I see the use case that this helps.
>>   
> Just being thorough: the man page claims that "git remote rm foo" removes 
> all mention of remote foo.

I was going to respond "by that rationale, 'git remote rm' should be
removing branch.*.remote keys that point to the removed remote". But
looking at the code, it already does that. So your change actually keeps
things consistent.

Not the choice I would have made, but I guess it just goes to show that
I use "vi" instead of "git remote". Consider my objection withdrawn.

-Peff