From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Thu, 10 Mar 2016 12:15:16 GMT
Subject: Re: Bug: git branch -D can be used to delete branch which is currently checked out - Part 2
Message-ID: <alpine.DEB.2.20.1603101313220.4690@virtualbox>
In-Reply-To: <F6588CBF-D13E-475F-847F-6154370F4A2E@gmail.com>

Hi Marcus,

On Thu, 10 Mar 2016, Marcus Kida wrote:

> Proposed solution:
> 
> Use `strcasecmp`, `stricmp`, `strcmpi` here: https://github.com/git/git/blob/f02fbc4f9433937ee0463d0342d6d7d97e1f6f1e/builtin/branch.c#L218
> 
> Not sure if/which one of this will work on POSIX as well as MS too though.

This is not quite a solution (it is not a patch). And you *definitely*
want to make the use of strcasecmp() contingent on ignore_case. You are
not alone on this world, after all, and other people have case-sensitive
filesystems. It's totally doable, of course.

So, do you feel up to the task?

Ciao,
Johannes