#! /bin/bash
## gitlab >> svn [with a linear history 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 dcommit
git push