[Zope-dev] zope.security on github?

Hi everyone, I was just about to start porting zope.security using the SVN version, when I noticed it is already on Github and Tres has even worked on it today. So 2 things: 1. Can we delete the contents of zope.security on svn.zope.org? 2. Can we enable checkin messages for all moved projects? (I have not seen any checkin messages from Tres, for example.) Regards, Stephan -- Entrepreneur and Software Geek Google me. "Zope Stephan Richter"