Re: [PATCH 0/1] worktree refs: fix case sensitivity for 'head'

Hi Michael, On Thu, 13 Dec 2018, Michael Rappazzo via GitGitGadget wrote: > Pull-Request: https://github.com/gitgitgadget/git/pull/100 What a nice thing that the 100th GitGitGadget Pull Request is celebrated by a new GitGitGadget user. Pleased, Johannes

[PATCH 0/1] worktree refs: fix case sensitivity for 'head'

On a worktree which is not the primary, using the symbolic-ref 'head' was incorrectly pointing to the main worktree's HEAD. The same was true for any other casing of the word 'Head'. Signed-off-by: Michael Rappazzo rappa...@gmail.com [rappa...@gmail.com] Michael Rappazzo (1): worktree refs: fix