User Tools

Site 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
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 git@github.com:<​repository>​.git To git@github.com:<​repository>​.git
  - [deleted] ​        <​branchName>​  - [deleted] ​        <​branchName>​
 +</​code>​
 +
 +If someone already deleted the remote branch, synchronize your local branch list with:
 +
 +<​code>​
 +$ git fetch --prune
 </​code>​ </​code>​
  
git.txt ยท Last modified: 2016/06/16 12:29 by javapimp