Anonymous Access

Exemple for pub-dist-algo :

cd /path/to/your/local/repository/pub-dist-algo
git remote rm origin && git remote add origin https//git.renater.fr/anonscm/git/pub-dist-algo/pub-dist-algo.git

Developer Access

Substitute developername with the proper value.

Exemple for pub-dist-algo :

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