Git Commands Notes

Posted 2020-08-02 quanben

 

Push

Push changes to remote. (If the remote doesn‘t have the branch, the branch will be created)

git push <remote name> <branch name>

 

Renaming a branch (a complete version of push command)

This can delete a  remote branch by providing empty local branch name.

git push <remote name> <local branch name>:<remote branch name>

References:

https://help.github.com/articles/pushing-to-a-remote/

http://stackoverflow.com/questions/2765421/push-a-new-local-branch-to-a-remote-git-repository-and-track-it-too