refs/remotes/origin/develop cannot be resolved to branch github workflow 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.