Skip to content

Instantly share code, notes, and snippets.

@millsoft
Created November 27, 2020 09:37
Show Gist options
  • Save millsoft/73fd9f08d1dfb6ab653a5b3480b3da63 to your computer and use it in GitHub Desktop.
Save millsoft/73fd9f08d1dfb6ab653a5b3480b3da63 to your computer and use it in GitHub Desktop.
Tricks and Howtos for git

GIT tricks

Problem: You deleted a local branch and also on remote but you still see it when you do git branch -r. Use following to synchronize your branches:

git fetch -p

The -p flag means "prune". After fetching, branches which no longer exist on the remote will be deleted.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment