Web lists-archives.com

Re: changing git tags on the remote repo




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

Cheers Alf