Re: changing git tags on the remote repo
- Date: Sun, 12 Aug 2018 13:53:01 +0200
- From: Andreas Metzler <ametzler@xxxxxxx>
- Subject: Re: changing git tags on the remote repo
Holger Wansing <hwansing@xxxxxxxxxxx> 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.
`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'