Holger Wansing <hwans...@mailbox.org> wrote: > I am curious about how to change an already existing git tag afterwards > (means: change the commit it points to).
> Locally, I can change an existing tag, and then create it newly. > But I cannot push it to the remote repo (get > "! [rejected] 139 -> 139 (already exists) " > There is -f (--force) option to replace an existing tag and locally it seems > to work, since it says > "Tag '139' updated (was 02108ec)" > but the push to remote repo fails nevertheless. > Any help? Iirc you need to delete the remote tag first. https://stackoverflow.com/questions/5480258/how-to-delete-a-git-remote-tag cu Andreas -- `What a good friend you are to him, Dr. Maturin. His other friends are so grateful to you.' `I sew his ears on from time to time, sure'
