fatal: Bug/NGA-1457-C 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.