A smiling cloud that seems happy

Useful git commands

Published: 2022-06-03

A 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