Only push tag that is created, instead of all tags

[jmvandebron]

The default release process pushes all tags (git push --tags) instead of just the tag that was created during the release.

This causes issues in our environment, because tags are regularly pruned in our remote and should not be reintroduced by pushing them again. Of course, ppl try to fetch --prune --prune-tags, but occasionally this is forgotten, and then obsolete tags are pushed again when performing a release.

What can be done to modify the release process so that it only pushes the tag that it created?