git push --tags --force - if one have the needed rights and the remote
settings allow it.

Cheers Alf

Reply via email to