Hi, Alf Gaida <agaida@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 <hwansing@mailbox.org> PGP-Finterprint: 496A C6E8 1442 4B34 8508 3529 59F1 87CA 156E B076