The right way to git clone a subversion repo...