... | @@ -33,3 +33,7 @@ To target the new repository on gitlab if you were in http |
... | @@ -33,3 +33,7 @@ To target the new repository on gitlab if you were in http |
|
To target the new repository on gitlab if you were using ssh
|
|
To target the new repository on gitlab if you were using ssh
|
|
|
|
|
|
`git remote set-url origin git@gitlab.inria.fr:croco-ocean/croco_tools.git`
|
|
`git remote set-url origin git@gitlab.inria.fr:croco-ocean/croco_tools.git`
|
|
|
|
|
|
|
|
To report the last commit from master to a branch
|
|
|
|
|
|
|
|
`git cherry-pick master` |
|
|
|
\ No newline at end of file |