Synchronize a svn repository and github repository