case sensitive git branch names

I've had some fun with git again... I was checking out a remote branch with git on the command line and couldn't pull down updates. Eventually I found out that the problem was case sensitivity in the branch name. I used git checkout branch-name to get a local copy of the remote branch. When I tried to use git pull »