Hi Junio, On Tue, 10 May 2016, Junio C Hamano wrote: > Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes: > > > On Mon, 9 May 2016, Junio C Hamano wrote: > > > >> Johannes Schindelin <johannes.schindelin@xxxxxx> writes: > >> > >> > +core.hideDotFiles:: > >> > + (Windows-only) If true, mark newly-created directories and > >> > files whose + name starts with a dot as hidden. If > >> > 'dotGitOnly', only the `.git/` + directory is hidden, but no other > >> > files starting with a dot. The + default mode is to mark > >> > only the `.git/` directory as hidden. > >> > >> I think "The default mode is 'dotGitOnly'" is sufficient, given that > >> it is described just one sentence before, which is still likely to > >> be in readers' mind. But I'll let it pass without tweaking. > > > > Yeah, when rewriting this after Ramsay pointed out the erroneous > > documentation, I wanted to fail on the crystal-clear side. > > Saying the same thing twice in rapid succession does not make it > any clearer, though. If you are rerolling anyway, then I think it > would be better to shorten it to clarify. Okay, will send out the next iteration in a moment (this is good exercise for my cross-validating interactive rebase, and it is really not all that much hassle for me to send out subsequent iterations). Ciao, Dscho -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html