From: Marcus Kida <marcus.kida@gmail.com>
Date: Thu, 10 Mar 2016 08:39:56 GMT
Subject: Bug: git branch -D can be used to delete branch which is currently checked out - Part 2
Message-ID: <F6588CBF-D13E-475F-847F-6154370F4A2E@gmail.com>

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.

Thank you.

Cheers,
Marcus