Are we ready to do this yet? I know there were some outstanding questions. Are there major concerns remaining? Or, is it just picking a time to freeze subversion when someone like David or Pauli who know how to move the repository to github correctly a time to do it. Thanks, -Travis