Forge-to-Gitlab-migration-FAQ.md

@@ -34,6 +34,15 @@ Get the last version of the development tree (git or subversion), and import thi
 
 Checkout the subversion repository with git-svn (https://git-scm.com/docs/git-svn). It creates a git repository from the subversion repository (with all the history). You can then add your gitlab project as a git remote and push to that project.
 
+example with a user with forge account <forge_user>, a forge project with unixname <forge_project>, a gitlab account <gitlab_user> and a gitlab project in the <gitlab_user> namespace, with name <gitlab_project>:
+
+```shell
+git svn clone svn+ssh://<forge_user>@scm.gforge.inria.fr/svnroot/<forge_project>/
+cd <forge_project>
+git remote add origin git@gitlab.inria.fr:<gitlab_user>/<gitlab_project>.git
+git push --set-upstream origin master
+```
+
 #### From Git
 
 Checkout all relevant branches of the git repository, add the gitlab project as a new remote, and push all branches to that remote.