Removing git branches from local repository

Problem

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

Solution

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

Problem

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.

Solution

According to the git documentation:

and:

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.