Anonymous Access

Exemple for otawa :

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

Exemple for adtree :

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

Exemple for buddybdd :

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

Exemple for cortex-a8 :

cd /path/to/your/local/repository/cortex-a8
git remote rm origin && git remote add origin https//git.renater.fr/anonscm/git/otawa/cortex-a8.git

Exemple for exp :

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

Exemple for gel :

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

Exemple for gelpp :

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

Exemple for lpc2138 :

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

Exemple for lp_solve5 :

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

Exemple for oatwa-oldxdd :

cd /path/to/your/local/repository/oatwa-oldxdd
git remote rm origin && git remote add origin https//git.renater.fr/anonscm/git/otawa/oatwa-oldxdd.git

Exemple for obviews :

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

Exemple for ogensim :

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

Exemple for ojawa :

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

Exemple for opathfinder :

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

Exemple for opython :

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

Exemple for otawa-arm :

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

Exemple for otawa-branch :

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

Exemple for otawa-clp :

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

Exemple for otawa-cplex :

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

Exemple for otawa-dcache :

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

Exemple for otawa-doc :

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

Exemple for otawa-ets :

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

Exemple for otawa-icat :

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

Exemple for otawa-leon :

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

Exemple for otawa-lp_solve5 :

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

Exemple for otawa-mpc5554 :

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

Exemple for otawa-multi :

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

Exemple for otawa-oldxdd :

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

Exemple for otawa-oslice :

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

Exemple for otawa-ppc :

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

Exemple for otawa-riscv :

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

Exemple for otawa-sparc :

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

Exemple for otawa-tricore :

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

Exemple for otawa-website :

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

Exemple for otawa-xdd :

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

Exemple for otest :

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

Exemple for pidcache :

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

Exemple for tricore-1798 :

cd /path/to/your/local/repository/tricore-1798
git remote rm origin && git remote add origin https//git.renater.fr/anonscm/git/otawa/tricore-1798.git

Exemple for v1 :

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

Developer Access

Substitute developername with the proper value.

Exemple for otawa :

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

Exemple for adtree :

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

Exemple for buddybdd :

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

Exemple for cortex-a8 :

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

Exemple for exp :

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

Exemple for gel :

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

Exemple for gelpp :

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

Exemple for lpc2138 :

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

Exemple for lp_solve5 :

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

Exemple for oatwa-oldxdd :

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

Exemple for obviews :

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

Exemple for ogensim :

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

Exemple for ojawa :

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

Exemple for opathfinder :

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

Exemple for opython :

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

Exemple for otawa-arm :

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

Exemple for otawa-branch :

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

Exemple for otawa-clp :

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

Exemple for otawa-cplex :

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

Exemple for otawa-dcache :

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

Exemple for otawa-doc :

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

Exemple for otawa-ets :

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

Exemple for otawa-icat :

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

Exemple for otawa-leon :

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

Exemple for otawa-lp_solve5 :

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

Exemple for otawa-mpc5554 :

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

Exemple for otawa-multi :

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

Exemple for otawa-oldxdd :

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

Exemple for otawa-oslice :

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

Exemple for otawa-ppc :

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

Exemple for otawa-riscv :

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

Exemple for otawa-sparc :

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

Exemple for otawa-tricore :

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

Exemple for otawa-website :

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

Exemple for otawa-xdd :

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

Exemple for otest :

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

Exemple for pidcache :

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

Exemple for tricore-1798 :

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

Exemple for v1 :

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