Re: Is the repo mirroring restoring dead tags?

[Eric S. Raymond]

David Kastrup <address@hidden>:
> 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.

Since all I've actually deleted with it is *-base and *-branchpoint tags, 
I think we're pretty safe.  Amended.
-- 
                <a href="http://www.catb.org/~esr/";>Eric S. Raymond</a>