Re: [PATCH] Documentation/git-worktree: use working tree for trees on the file system
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Mar 23, 2017, 17:55 UTC
- Message-ID
- <xmqqd1d7ev2q.fsf@gitster.mtv.corp.google.com>
- In-Reply-To
- <3c16aea8-be53-ef41-d43f-7b4e8ca15d7d@drmicha.warpmail.net>
Michael J Gruber <git@drmicha.warpmail.net> writes:
> Are we at a point where we can still rename the new feature at least? If > yes, and keeping everything else is mandatory, than "workspace" or > "working space" may be a serious contender for naming the new thing.
I do not have a good answer to the first question, but workspace does sound like a good name for what this feature is trying to achieve.