git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Bug: git branch -D can be used to delete branch which is currently checked out - Part 2

From
Marcus Kida <marcus.kida@gmail.com>
Date
Mar 10, 2016, 08:39 UTC
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

Next: Johannes Schindelin
Message 1 of 6 in “Bug: git branch -D can be used to delete branch which is currently checked out - Part 2”
  1. Marcus KidaMar 10, 2016
  2. Johannes SchindelinMar 10, 2016
  3. Marcus KidaMar 10, 2016
  4. Jeff KingMar 10, 2016
  5. Marcus KidaMar 10, 2016
  6. Marcus KidaMar 10, 2016

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.