Useful git commands
Published: 2022-06-03A running list of useful git
commands. (Will update as I find them)
Pushing to a remote branch with a different name
If you want to push a local branch to a remote branch with a different name:
git push origin local-name:remote-name