Re: move to git

[Andreas Schwab]

Ralf Wildenhues <address@hidden> writes:

> Hello Eric, Gary,
>
> * Gary V. Vaughan wrote on Wed, Apr 16, 2008 at 11:51:48PM CEST:
>> On 16 Apr 2008, at 16:47, Eric Blake wrote:
>>> there are now some stale tags
>>> in savannah's libtool.git, which point to commits prior to your  
>>> various git-
>>> filter operations (for example, the tag release-2-2-2
>>> http://git.sv.gnu.org/gitweb/?p=libtool.git;a=tag;h=c7bb42
>>> points to http://git.sv.gnu.org/gitweb/? 
>>> p=libtool.git;a=commit;h=2bbe5d
>>> rather than 
>>> http://git.sv.gnu.org/gitweb/?p=libtool.git;a=commit;h=724f291).
>>> Are you planning on rewinding those tags to point to something more
>>> appropriate?  And if so, please post the new SHA1 of the tags.
>
> Yes, I think I should do so.  How can I do it?  And what's more, what
> did I forget to do so that this could happen?

You probably forgot to explicitly push out the modified tags.  Since
tags are supposed to be immutable you have to take explicit steps to
modify them.

Andreas.

-- 
Andreas Schwab, SuSE Labs, address@hidden
SuSE Linux Products GmbH, Maxfeldstraße 5, 90409 Nürnberg, Germany
PGP key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."