Forge-to-Gitlab-migration-FAQ.md

@@ -103,6 +103,8 @@ git remote add origin git@gitlab.inria.fr:<gitlab_user>/<gitlab_project>.git
 git push --set-upstream origin master
 ```
 
+In this example we only push the master branch. When there are other branches and/or tags, see below section [Post-processing for branches and tags](#post-processing-for-branches-and-tags)
+
 See also [how to change authors of commits and clean commits](https://www.yterium.net/Migrer-un-projet-SVN-vers-GIT).
 
 This directory can then be used to work from now on, or if you want to be sure that everything is correct, you can try a new checkout from scratch from the gitlab in another directory:
@@ -115,9 +117,9 @@ git clone git@gitlab.inria.fr:<gitlab_user>/<gitlab_project>.git
 cd <gitlab_project>
 # check that all is correct
 ```
-###### Post-processing
+###### Post-processing for branches and tags
+
 
-TODO
 
 ##### Alternative methods