Anonymous Access

Exemple for pqchecker :

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

Developer Access

Substitute developername with the proper value.

Exemple for pqchecker :

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