Question: is git branch case sensitive?
Answer: Git is case sensitive. It is completely valid but goofy to have 2 branches with different cases like dev and DEV.