On Mon, Nov 07, 2022 at 11:36:58PM +0100, Ævar Arnfjörð Bjarmason wrote: > So, I'm (now) saying I don't care which form we use in the sources, but > that' it's useful to document things as e.g.: > > --no-checkout:: > No checkout of HEAD is performed after the clone is complete. > > Instead of e.g.: > > --no-checkout: > --checkout: > Do we do a checkout when we clone (doing a checkout is > the default). > > Because the former convention shows the user at a glance which of the > two is the default. Thanks for clarifying. For what it's worth, I slightly prefer documenting both options as long as we clearly specify which is the default behavior (and thus implied). But I definitely do not feel strongly about it. Thanks, Taylor