Git: don't ignore case