[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Is the repo mirroring restoring dead tags?

From: Eric S. Raymond
Subject: Re: Is the repo mirroring restoring dead tags?
Date: Sat, 11 Jan 2014 20:06:37 -0500
User-agent: Mutt/1.5.21 (2010-09-15)

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>

reply via email to

[Prev in Thread] Current Thread [Next in Thread]