Fwd: bug: git branch -d and case-insensitive file-systems

2015-08-25 Thread Aaron Dufour
On Tue, Aug 25, 2015 at 1:21 AM, Jeff King p...@peff.net wrote: On Mon, Aug 24, 2015 at 12:11:13PM -0400, Aaron Dufour wrote: I use git (2.2.1) on OS X (10.9.5) and recently my repo got into a bad state. I think this involves a mis-handling of case-insensitive file systems. This reproduces

bug: git branch -d and case-insensitive file-systems

2015-08-24 Thread Aaron Dufour
I use git (2.2.1) on OS X (10.9.5) and recently my repo got into a bad state. I think this involves a mis-handling of case-insensitive file systems. This reproduces the problem: git init Initialized empty Git repository in /Users/aarond_local/code/git-test/.git/ git commit

Re: bug: git branch -d and case-insensitive file-systems

2015-08-24 Thread Jeff King
On Mon, Aug 24, 2015 at 12:11:13PM -0400, Aaron Dufour wrote: I use git (2.2.1) on OS X (10.9.5) and recently my repo got into a bad state. I think this involves a mis-handling of case-insensitive file systems. This reproduces the problem: git init Initialized empty Git