Re: [PATCH 0/1] worktree refs: fix case sensitivity for 'head'
From: Johannes Schindelin <hidden>
Date: 2018-12-14 10:37:14
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