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 - 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
