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

quoted text
>> 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
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html