Merge branch 'es/worktree-cleanup'
authorJunio C Hamano <gitster@pobox.com>
Mon, 2 Mar 2020 23:07:20 +0000 (15:07 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 2 Mar 2020 23:07:20 +0000 (15:07 -0800)
commit4cbf1a0e220d12604afeec208ed18af0766077ac
tree15b55a6aec0f1f77bf16465c039c029812c9319f
parent46703057c1a0f85e24c0144b38c226c6a9ccb737
parent02bbbe9df9d5e90e4810fdcd6b46bbfbf5fd2bbf
Merge branch 'es/worktree-cleanup'

Code cleanup.

* es/worktree-cleanup:
  worktree: drop unused code from get_main_worktree()