From: Duy Nguyen <pclouds@gmail.com>
Date: Fri, 09 Feb 2018 12:08:22 GMT
Subject: Re: [PATCH v2 1/3] worktree: improve message when creating a new worktree
Message-ID: <CACsJy8Dp1j5GJtHGowK+Vk4KBBUtqOkTfx3U0PNN9DmKO1e-mA@mail.gmail.com>
In-Reply-To: <20180209112727.GG2130@hank>

On Fri, Feb 9, 2018 at 6:27 PM, Thomas Gummerer <t.gummerer@gmail.com> wrote:
> This would loose the information about the identifier of the worktree,
> but from a coarse look at the man page it doesn't seem like we
> advertise that widely
>
> ...
>
> So given that maybe it would even be better to hide the part about the
> identifier, as it seems more like an implementation detail than
> relevant to the end user?

Exactly. I'd rather hide it. I haven't found any good reason that a
user needs to know these IDs unless they poke into $GIT_DIR/worktrees,
but they should not need to.
-- 
Duy