User Tools

Site Tools


notes:tools:git

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
notes:tools:git [2018/12/21]
leszek [Commit History]
notes:tools:git [2019/01/08] (current)
leszek [Branching]
Line 150: Line 150:
 git branch <​branch_name> ​              # create a new branch without checking it out git branch <​branch_name> ​              # create a new branch without checking it out
 git push -u origin <​branch_name> ​      # push a new local branch to a remote repository git push -u origin <​branch_name> ​      # push a new local branch to a remote repository
 +git push origin HEAD:<​remote_branch_name>​ # push the current local branch and give it a new remote branch name
 +                                       # this creates a new remote branch
 </​code>​ </​code>​
  
notes/tools/git.txt ยท Last modified: 2019/01/08 by leszek