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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Subject: Re: [PATCH 0/1] worktree refs: fix case sensitivity for 'head'
From: Johannes Schindelin <Johannes.Schindelin@xxxxxx>
Date: Fri, 14 Dec 2018 11:36:50 +0100 (STD)
Cc: git@xxxxxxxxxxxxxxx, Junio C Hamano <gitster@xxxxxxxxx>
In-reply-to: <pull.100.git.gitgitgadget@gmail.com>
References: <pull.100.git.gitgitgadget@gmail.com>
User-agent: Alpine 2.21.1 (DEB 209 2017-03-23)

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

References:
- [PATCH 0/1] worktree refs: fix case sensitivity for 'head'
  - From: Michael Rappazzo via GitGitGadget

Prev by Date: Re: [PATCH] Simplify handling of setup_git_directory_gently() failure cases.
Next by Date: Re: [PATCH v2 8/8] tests: mark tests broken under GIT_TEST_PROTOCOL_VERSION=2
Previous by thread: Re: [PATCH 1/1] worktree refs: fix case sensitivity for 'head'
Next by thread: [PATCH 0/4] Expose gpgsig in pretty-print
Index(es):
- Date
- Thread

[Index of Archives] [Linux Kernel Development] [Gcc Help] [IETF Annouce] [DCCP] [Netdev] [Networking] [Security] [V4L] [Bugtraq] [Yosemite] [MIPS Linux] [ARM Linux] [Linux Security] [Linux RAID] [Linux SCSI] [Fedora Users]

Powered by Linux