Github status

Ok, I don't think we have more replies coming now.

I counted 10 yays, 3 ambivalents and 3 nays.  One of the ambivalents
(Wez) would prefer SVN, so that is probably closer to a nay.  4 Nays,
from Andi, Derick, Brian Shire and Wez is pretty significant, despite
the enthusiasm of the yays.

The wrinkle at this point is that Gwynne has run out of steam on the
Subversion migration.  She has done a ton of work on it so far, but
unless we find a new volunteer for the final push, it won't happen.  We
have enthusiastic volunteers for the Github effort.  So, on that point
alone Github is ahead right now.

I think most people would be fine, not completely happy, but fine with a
nicely working Subversion setup.  We could perhaps maintain a git tree
next to it.  If it is on the same host, perhaps we could synch it via a
post-commit or something so it would never fall behind.

Or, if we don't have the volunteers for that sort of setup, we outsource
to Github pending them solving our acl issues.

-Rasmus