Is the repo mirroring restoring dead tags?

[esr@thyrsus.com (Eric S. Raymond)]

Andreas, I just did a pull of the git mirror and all the tags I had
deleted and renamed came back to life.

The deletion script I use is this:

git tag -d $1
git push origin :$1

so I'm not just deleting them locally. Could your mirroring script 
be having an unexpected side effect?
-- 
		<a href="http://www.catb.org/~esr/">Eric S. Raymond</a>

You [should] not examine legislation in the light of the benefits it will
convey if properly administered, but in the light of the wrongs it
would do and the harm it would cause if improperly administered
	-- Lyndon Johnson, former President of the U.S.