Alf Gaida Sun, 12 Aug 2018 04:59:15 -0700
git push --tags --force - if one have the needed rights and the remote settings allow it.
Cheers Alf