diff options
author | Derrick Stolee <derrickstolee@github.com> | 2022-02-23 14:29:15 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-02-23 12:24:42 -0800 |
commit | 6036be14581878c42158407a9f3344d63f090057 (patch) | |
tree | 93e359c04f3cfb81c3c4c8eb0e212b48a8ed70db /notes-merge.c | |
parent | worktree: use 'worktree' over 'working tree' (diff) | |
download | tgif-6036be14581878c42158407a9f3344d63f090057.tar.xz |
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 third of multiple changes to git-worktree.txt, restricted to
the OPTIONS section.
Signed-off-by: Derrick Stolee <derrickstolee@github.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'notes-merge.c')
0 files changed, 0 insertions, 0 deletions