Re: Is the repo mirroring restoring dead tags?

[David Kastrup]

address@hidden (Eric S. Raymond) writes:

> 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

That sounds like a bad idea.  You probably want
git push origin :refs/tags/$1

to avoid branches or other stuff disappearing.

-- 
David Kastrup