Replaces hg with the official svn repository