#! /bin/bash
## svn >> gitlab [must have write permissions on master, see wiki]

git checkout master
git svn init https://svn.lmd.jussieu.fr/Planeto/trunk
git update-ref refs/remotes/git-svn refs/remotes/origin/master
git svn rebase
git push