From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 19 Mar 2013 01:45:40 GMT
Subject: Re: [PATCH v4] submodule: add 'deinit' command
Message-ID: <7v7gl4mabf.fsf@alter.siamese.dyndns.org>
In-Reply-To: <51477EFF.2010505@web.de>

Jens Lehmann <Jens.Lehmann@web.de> writes:

> Am 12.03.2013 17:22, schrieb Junio C Hamano:
>> Phil Hord <phil.hord@gmail.com> writes:
>> 
>>> I think this would be clearer if 'git deinit' said
>>>
>>>     rm 'submodule/*'
>>>
>>> or maybe
>>>
>>>     Removed workdir for 'submodule'
>>>
>>> Is it just me?
>> 
>> The latter may probably be better.  
>
> Hmm, it doesn't really remove the directory but only empties it
> (it recreates it a few lines after removing it together with its
> contents). So what about
>
>     Cleared directory 'submodule'

Sounds the cleanest among the suggested phrasing so far.