From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Fri, 14 Dec 2018 10:36:50 GMT
Subject: Re: [PATCH 0/1] worktree refs: fix case sensitivity for 'head'
Message-ID: <nycvar.QRO.7.76.6.1812141135250.43@tvgsbejvaqbjf.bet>
In-Reply-To: <pull.100.git.gitgitgadget@gmail.com>

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