From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 12 Dec 2012 22:34:47 GMT
Subject: Re: [PATCH v2] submodule: add 'deinit' command
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.