|
From: | David Kastrup |
Subject: | Re: Is the repo mirroring restoring dead tags? |
Date: | Sun, 12 Jan 2014 01:57:19 +0100 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) |
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
[Prev in Thread] | Current Thread | [Next in Thread] |