svn: give configure_repo an optional parameter for better reuse