Removing git branches from local repository


You would like to remove your local branches that were used to track remote branches that no longer exists (deleted after merge).


To delete your local branch you could use the following:

And to to delete the remote tracking branching you could use the following:

Pushing and getting the tags from a remote git repository


You want to tag your branches in a remote repository and share the tags with other users, but usually the git pull and git push do not update the tags.


According to the git documentation:


But when doing either a git pull origin [repo] or git fetch origin [repo] the tag list does not seem to be updated.

In this case try the following:

And the list should contain all the tags in the remote repository.