Re: HEADS-UP: git repo issues

[Ralf Wildenhues]

Hi Andreas,

* Andreas Schwab wrote on Sat, Apr 19, 2008 at 11:50:58AM CEST:
> 
> AFAICS the history in the git repository correctly matches the CVS tree,
> only the tags are pointing to the wrong commits.

Did you check whether the correct commits are even present in the tree?
If so, then I suppose we can fix them up manually.

> Ralf Wildenhues <address@hidden> writes:
> >    git tag -d `git tag -l`
> >    git pull
> 
> Just running git fetch --tags should be enough.

If you have already fetched the wrong tags before, then that won't
overwrite them.  If I understand 'git tag --help' correctly, that is.

Cheers,
Ralf