On Fri, Feb 9, 2018 at 6:27 PM, Thomas Gummerer <t.gumme...@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