fatal: dev cannot be resolved to branch code example

Example: git push origin cannot be resolved to branch

If you prepend a branch with a certain ID always (such as a ticket number) and you later work with the same prepend
then you may get this error if you don't use the same upper or lower case.