Merge branch 'es/worktree-avoid-duplication-fix'
authorJunio C Hamano <gitster@pobox.com>
Thu, 5 Mar 2020 18:43:02 +0000 (10:43 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 5 Mar 2020 18:43:02 +0000 (10:43 -0800)
commit49e5043b09fffb0411e8bae19d60014e72a36fd0
tree5d6afc8117d4bb235bfc36958e1375b0433a69c8
parent2cbb0586697585995908c325a0c70aad37602274
parentbb69b3b009c0093417942dba136b81fbf614c4ed
Merge branch 'es/worktree-avoid-duplication-fix'

In rare cases "git worktree add <path>" could think that <path>
was already a registered worktree even when it wasn't and refuse
to add the new worktree. This has been corrected.

* es/worktree-avoid-duplication-fix:
  worktree: don't allow "add" validation to be fooled by suffix matching
  worktree: add utility to find worktree by pathname
  worktree: improve find_worktree() documentation
worktree.c