This is a known Git for Windows issue, and at the moment can't be fixed because Windows is case preserving but case insentive, while Linux is fully case sensitive.
So if you ask for branch 'monkey', GfW (Windows) will happily go to the branch file 'monkey' (typically it's .git/refs/heads/monkey vs .git/refs/heads/Monkey ) and tell Git the HEAD ref (commit sha1) and there you have the Windows case insensitive checkout. Linux does do a case sensitive filename check so reports an error. Now you ask for the status, and Git has recorded that HEAD is at refs/heads/monkey, and compares it to the list of available heads, which Windows says includes Monkey which just doesn't match up in the git code so you don't get a 'star/asterix'. It will need a lot of code churn and a system call that returns the true filename to get it to detect the issue... Philip ----- Original Message ----- From: Konrad Viltersten To: Git for human beings Sent: Sunday, November 13, 2016 9:26 PM Subject: [git-users] Can't submit a bug I went to the page: https://git-scm.com/community and mailed as told to: [email protected] However, the message bounced back with error that they consider my email as spam because of some HTML in it. Not sure how to send text-only-only-only - I though I did already. How can I post the bug otherwise, please? The description is as follows. I have two branches created like so. git branch Monkey git branch Donkey When I switch between them, using the following command, I get the star marker and green highlight of the current one. git checkout Donkey git checkout Monkey If I misspell and do the switch with a typo, like below, there's an error message. git checkout Honkey Now, if I spell case insensitively, I get the message that the branch has been switched to the lower-case version BUT there's no marker nor green highlight visible! git checkout donkey Tada! :) -- 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 [email protected]. 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
