Re: [PATCH v1 2/3] Documentation: your checkout directory is "working tree" (part 1)

[Patrick Steinhardt <ps@pks.im>]

On Tue, Nov 11, 2025 at 11:58:52AM -0800, Junio C Hamano wrote:
> diff --git a/Documentation/git-rev-parse.adoc b/Documentation/git-rev-parse.adoc
> index 5398691f3f..ced73fa8af 100644
> --- a/Documentation/git-rev-parse.adoc
> +++ b/Documentation/git-rev-parse.adoc
> @@ -305,7 +305,7 @@ The following options are unaffected by `--path-format`:
>  	directory print "true", otherwise "false".
>  
>  --is-inside-work-tree::
> -	When the current working directory is inside the work tree of the
> +	When the current working directory is inside the working tree of the
>  	repository print "true", otherwise "false".
>  
>  --is-bare-repository::

The option itself is unfortunately misnamed, as well, as it should be
"--is-inside-working-tree". We could of course introduce an alias for
it, but I'm not sure it's worth it. Definitely doesn't have to be part
of this patch series.

Other than that this series looks good to me, and I certainly appreciate
that we're now being more consistent with our own terminology. Thanks!

Patrick