Git

case-sensitive

git config core.ignorecase false

delete remote branch

git push origin --delete branch-name