... | ... | @@ -93,6 +93,8 @@ git remote add origin git@gitlab.inria.fr:<gitlab_user>/<gitlab_project>.git |
|
|
git push --set-upstream origin master
|
|
|
```
|
|
|
|
|
|
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:
|
|
|
|
|
|
```
|
... | ... | |