worktree: use 'worktree' over 'working tree'
commitf13a146c81e361eab43cd095c80c01562b6016de
authorDerrick Stolee <derrickstolee@github.com>
Wed, 23 Feb 2022 14:29:18 +0000 (23 14:29 +0000)
committerJunio C Hamano <gitster@pobox.com>
Wed, 23 Feb 2022 20:24:42 +0000 (23 12:24 -0800)
treefdb5135783fdb48259b71887978439857ee48e19
parent7b215826f32f9fd0dc58703f012326dba6006e34
worktree: use 'worktree' over 'working tree'

It is helpful to distinguish between a 'working tree' and a 'worktree'.
A worktree contains a working tree plus additional metadata. This
metadata includes per-worktree refs and worktree-specific config.

This is the sixth of multiple changes to git-worktree.txt, restricted to
the DETAILS section.

Signed-off-by: Derrick Stolee <derrickstolee@github.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-worktree.txt