git
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| git [2016/06/16 12:28] – [Create a new branch from current changes] javapimp | git [2023/08/18 18:15] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 34: | Line 34: | ||
| To git@github.com:< | To git@github.com:< | ||
| - [deleted] | - [deleted] | ||
| + | </ | ||
| + | |||
| + | If someone already deleted the remote branch, synchronize your local branch list with: | ||
| + | |||
| + | < | ||
| + | $ git fetch --prune | ||
| </ | </ | ||
git.1466080093.txt.gz · Last modified: 2023/08/18 18:15 (external edit)