On Tue, Mar 29, 2016 at 6:54 AM, John Keeping <john@xxxxxxxxxxxxx> wrote: > On Tue, Mar 29, 2016 at 10:11:01AM +0000, Ray Zhang wrote: >> With `add`, detach HEAD in the new working tree. See "DETACHED HEAD" >> in linkgit:git-checkout[1]. >> >> +--[no-]checkout:: > > This should be: > > --checkout:: > --no-checkout:: > > (see for example --progress in Documentation/merge-options.txt). [1] suggested either form without stating a preference since existing Git documentation uses a mixture of the two. See, for instance, git-format-patch.txt. However, I see now that --[no-]-option is the minority. [1]: http://article.gmane.org/gmane.comp.version-control.git/289840 -- 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