Re: Git repository mirror is out of date

[Jim Meyering]

Karl Berry wrote:
>     I checked out the Git mirror of the Texinfo repository today, to
>     figure out whether some bugs had been fixed, and I noticed that
>     it contains no commits newer than 2009-04-21.  Since the CVS
>     repository contains much newer files, I guess the Git repository
>     is out-of-date.  If it is synced manually, then it's time!
>
> It's not supposed to be manual.  But I didn't set up the git mirror and
> don't use it.
>
> Jim, can you deal with this?  If I'm recalling correctly that you were
> the one who wanted and created it.  Or, I'm happy to drop it :).

Hi Karl,
I set up that mirror long ago, but did not try to recover the
service after the savannah crash of many months ago.

If it's only for me, and if there's no hope of it helping to
convert you to git, I won't bother.