tag deletion does not propagate

Martin Pool пишет:
> When tags are deleted (rather than created or changed), the deletion is
> not propagated by update, push, pull, merge, etc.

IMO, current tag object and serialization format does not save info about
deleted tags, so in current tags format resolve this issue almost impossible.
IMO, it's require new rich tag support.
Am I right that it's something people called in the past "versioned tags"?

> IMO, current tag object and serialization format does not save info about
> deleted tags, so in current tags format resolve this issue almost impossible.
> IMO, it's require new rich tag support.

That's correct. You could keep the same format by allowing them to
point to say '' or some special revision and changing the tag command
to not display them.

> Am I right that it's something people called in the past "versioned tags"?

This wouldn't require full merging of tags, though doing so would also
solve this bug.

--
Martin

As a data point from a user, I've just deleted a branch in Launchpad and repushed to be able to get rid of a tag.

Shouldn't `bzr tag -d lp:project --delete uselesstag` do what you wanted too as a workaround Gustavo?