Convert a subversion repository to git using a docker container