Anonymous Access

Exemple for robomap3-rt :

cd /path/to/your/local/repository/robomap3-rt
git remote rm origin && git remote add origin https//git.renater.fr/anonscm/git/robomap3-rt/robomap3-rt.git

Developer Access

Substitute developername with the proper value.

Exemple for robomap3-rt :

cd /path/to/your/local/repository/robomap3-rt
git remote rm origin && git remote add origin git+ssh://developername@git.renater.fr:2222/scmrepos/git/robomap3-rt/robomap3-rt.git
# Il sera probablement nécessaire de faire un pull avant tout commit :
git pull origin <branch>