I was going to ask this question anyway, but perhaps it's more timely with the scheduled server move: Has anyone made a git clone of svn://svn.zope.org/repos/main suitable for public mirroring on github, etc.?