Question

We’re currently cleaning up our git repo at work due to a ridiculous amount of branches and tags that just aren’t needed.

We’ve done the branches part, but the tags part is proving troublesome.

We deleted the branches on the remote, and asked our team to do a git pull --prune to remove said branches in their local repos.

The problem is, there doesn’t seem to be a way to do this with tags. We can delete the tag remotely quite easily, but we can’t get that change to propagate down to other local repos when we do a git pull, or gc, or remote prune.

Any ideas on how to do this?

Or will we just have to stop people from using git push --tags until they re-clone the repo?

Answer 1

You can’t. Tags deleted on the remote will not be locally deleted on pull/fetch/etc.