[added in Konstantin]
It looks like the checkout code does try to cope with the case (in terms of
internally noting what was checked out), but it's not clear what git status
shows for you.
Does 'git status' show the the true branch name or the requested name?
The checkout code is quite complex ;-)
It does look like the report of "Switched to branch 'XX' " may need looked at
just to make sure it has the true name that git branch found.
----- Original Message -----
From: Philip Oakley
To: git-users@googlegroups.com
Cc: Magnus Therning
Sent: Thursday, December 17, 2015 7:51 PM
Subject: Re: [git-users] Git checkout visual issue in CMD
Deigo,
If you look carefully, the "*" asterisk is missing as well as the
colourisation.
This can be traced to builtin/branch.c#L423 which does an exact compare of
the two ascii strings. The HEAD checked out branch name doesn't match any of
the ref/heads
However that's not the root cause. It's more likely that it's the 'git
checkout' code that doesn't replace the requested branch-name with the on-disc
branch-name, which may need to be a special case for case insensitive file
systems, or just do it anyway.
Have a browse, and have a go at a sending a quick patch upstream
g...@vger.kernel.org
Philip
----- Original Message -----
From: Diego J.
To: Git for human beings
Sent: Wednesday, December 16, 2015 3:57 PM
Subject: [git-users] Git checkout visual issue in CMD
When I "checkout" a branch using different Upper Case/Lower Case than the
original, the branch doesn't show in "git branch [--list]"
--
You received this message because you are subscribed to the Google Groups
"Git for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an
email to git-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups
"Git for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an
email to git-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups "Git
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to git-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
