... | ... | @@ -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
|
|
|
|
... | ... | |