[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>
- Is the repo mirroring restoring dead tags?, Eric S. Raymond, 2014/01/11
- Re: Is the repo mirroring restoring dead tags?, David Kastrup, 2014/01/11
- Re: Is the repo mirroring restoring dead tags?,
Eric S. Raymond <=
- Re: Is the repo mirroring restoring dead tags?, Andreas Schwab, 2014/01/12
- Re: Is the repo mirroring restoring dead tags?, Eric S. Raymond, 2014/01/12
- Re: Is the repo mirroring restoring dead tags?, David Engster, 2014/01/12
- Re: Is the repo mirroring restoring dead tags?, Glenn Morris, 2014/01/12
- Re: Is the repo mirroring restoring dead tags?, David Kastrup, 2014/01/12
- Re: Is the repo mirroring restoring dead tags?, Eric S. Raymond, 2014/01/12
- Re: Is the repo mirroring restoring dead tags?, Andreas Schwab, 2014/01/12