changing git tags on the remote repo

[Holger Wansing <hwansing@mailbox.org>]

Hi,

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?

Holger


-- 
Holger Wansing <hwansing@mailbox.org>
PGP-Finterprint: 496A C6E8 1442 4B34 8508  3529 59F1 87CA 156E B076