GIT FACILITY#

Manage coherently your configurations/developments with git

This step is dedicated to basic git usage to manage properly your source code and (potentially) interact with croco’s developers the croco’s repository is so far hosted at Inria (https://gitlab.inria.fr)

Request an access to croco’s gitlab

go to URL   https://gitlab.inria.fr/croco-ocean/croco
click on the upright corner **register** tab
then on the right side of the page on the highlight register
confirm your registration with the mail you received
go back https://gitlab.inria.fr
log in
search croco project
select the croco projet and then ask for an access

Once you get the access create your own local repository

mkdir /homeX/datahome/login/croco/
cd croco
git init
git clone git@gitlab.inria.fr:croco-ocean/croco.git

List of all the available branches
```
git branch -v -a
```
Create your own local branch (tutu) from a given remote branch (toto)
```
git checkout -b tutu remotes/origin/toto
```
Get the status of the local repository
```
git status
```
Update of the branch named “toto” with the remote branch
```
git pull origin dyneco_rec
```
Toto
```
git remote show origin
```
Log
```
git log
```