Git force push tag when the tag already exists on remote

Question

I have a tag already pushed onto the remote. When another user creates the same tag and tries to push, the push will fail because the tag already exists on the remote.

But I thought if I did --f force tag push, it should work. But that is not what I see.

I think I have to do this.

 Create tag
 Push tag -> If push fails -> Delete tag on remote
                           -> push tag again.

Is this correct? Isn`t force pushing a tag supposed to take care of this?

I am using annotated tags with

 git -a v1.0 -f -m "message"

Answer 1

This will force push all the tags and overwrite the existing ones.

git push -f --tags

Answer 2

In my case, remote was rejecting an force push when the tag already exists.

So, when the push was rejected, I did

git push --delete origin <tagname>

and pushed the new tag.

Please see Torek's comment to my question. There is a case when remote can reject the delete too.

Answer 3

I recommend against force pushing all tags - obv. this force pushes every local tag overwrites the remotes. This can be damaging in situations with state represented with moving tags or if any such feature is added later.

To force push/overwrite the one tag you care about and not all of them.. do:

git push origin tagName -f

Answer 4

Firstly, update the tag on your local:

git tag v0.6.0 -f
Updated tag 'v0.6.0' (was cb85425)

Then update the tag on remote:

git push origin v0.6.0 -f
Total 0 (delta 0), reused 0 (delta 0)

 + cb85425...bf17993 v0.6.0 -> v0.6.0 (forced update)