Ralf Wildenhues <[EMAIL PROTECTED]> 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, [EMAIL PROTECTED] 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." _______________________________________________ http://lists.gnu.org/mailman/listinfo/libtool