Re: git is live

Tom Tromey
2013-11-08T19:09:58Z

HJ> It took about 20 minutes.

The updating is done by sending an email.
How long it takes depends on the mail system on sourceware.

Tom