Comment 1 for bug 138802

Revision history for this message
Alexander Belchenko (bialix) wrote : Re: [Bug 138802] 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"?