From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 23 Mar 2017 17:55:57 GMT
Subject: Re: [PATCH] Documentation/git-worktree: use working tree for trees on the file system
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.