Re: [PATCH 4/7] Documentation: git-init: --separate-git-dir: clarify

On Wed, Aug 06, 2014 at 10:35:31AM -0700, Junio C Hamano wrote:

While I agree that it is a very good idea to state "what it does,
what it is for" with the very first sentence of the paragraph,
"separate the git repository from your working tree" does not say
much more than the name of the option "--separate-git-dir" already
tells the reader.

Ah, I see.

And I do not offhand think of a better version
(and obviously I didn't think of any when the current text was
reviewed and committed).  The second sentence in your version is
definitely an improvement over the first and the second sentences of
the original ("where it is supposed to be" does not give any new
information to those who don't know, and does not help those who
already know).

OK.

Perhaps we can simply remove the first sentence from your version?

Yes, I agree. I enjoy cutting excess verbiage.