Differences

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

--- git [2016/06/16 12:28] – [Create a new branch from current changes] javapimp
+++ git [2016/06/16 12:29] – [Delete a remote branch] javapimp
@@ Line 34: / Line 34: @@
 To git@github.com:<repository>.git
  - [deleted]         <branchName>
+</code>
+If someone already deleted the remote branch, synchronize your local branch list with:
+<code>
+$ git fetch --prune
 </code>