User Tools

Site Tools



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

Link to this comparison view

Both sides previous revision Previous revision
git [2016/06/16 12:28]
javapimp [Create a new branch from current changes]
git [2016/06/16 12:29] (current)
javapimp [Delete a remote branch]
Line 34: Line 34:
 To<​repository>​.git To<​repository>​.git
  - [deleted] ​        <​branchName>​  - [deleted] ​        <​branchName>​
 +If someone already deleted the remote branch, synchronize your local branch list with:
 +$ git fetch --prune
 </​code>​ </​code>​
git.txt ยท Last modified: 2016/06/16 12:29 by javapimp