Re: [PATCH v2] submodule: add 'deinit' command
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Dec 12, 2012, 22:34 UTC
- Message-ID
- <7vlid23nnc.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <50C90469.8080303@web.de>
Jens Lehmann <Jens.Lehmann@web.de> writes:
> So unless people agree that deinit should also remove the work > tree I'll prepare some patches teaching all git commands to > consistently ignore deinitialized submodules. Opinions?
While I agree that consistency is good, "deinit" that does not remove the working tree of the submodule the user explicitly said he no longer wants to have the checkout for is a bug, and I think these two are orthogonal issues.
In other words, "Ignore deinitialized submodules even when an earlier bug in deinit failed to remove the working tree" is a robustness issue for the other recursing commands, not an excuse for "deinit" to have such a bug in the first place, I think.