Jens Lehmann <> writes:

> Am 12.03.2013 17:22, schrieb Junio C Hamano:
>> Phil Hord <> 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.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to
More majordomo info at

Reply via email to