On Fri, Feb 9, 2018 at 7:08 PM, Duy Nguyen <pclouds@xxxxxxxxx> wrote: > On Fri, Feb 9, 2018 at 6:27 PM, Thomas Gummerer <t.gummerer@xxxxxxxxx> 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. Just FYI. I mentioned elsewhere [1] the possibility of a new extended ref syntax to refer to e.g. HEAD from a different worktree. Such syntax may make use of this id (which also means we might need to give the user control over these ids and not just always auto generate them). But that's for the future. If/When that thing comes, we can worry about displaying id here then. For now I still think it's ok to hide it. [1] https://public-inbox.org/git/20180210095952.GA9035@ash/T/#u -- Duy
