Re: git server is stuck

[Frank Ch. Eigler]

The cron-based svn-to-git script running under bernie's account on
gcc.gnu.org is still stuck/spinning, even after a restart.  I am
planning to suspend it later tonight, until y'all can figure out what's
going on.

- FChE