Hi, Alf Gaida <aga...@siduction.org> wrote: > git push --tags --force - if one have the needed rights and the remote > settings allow it.
This goes at least so far, that I get a clear error message: remote: GitLab: You are not allowed to change existing tags on this project. Thanks anyway Holger -- Holger Wansing <hwans...@mailbox.org> PGP-Finterprint: 496A C6E8 1442 4B34 8508 3529 59F1 87CA 156E B076
