How do you delete a git tag and propagate said delete through git pull to others?

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?