Update repo URI

825260ad · Thierry Martinez · 6aae70f7 · 825260ad
Commit 825260ad authored 5 years ago by Thierry Martinez
--- a/Dockerfile
+++ b/Dockerfile
@@ -3,9 +3,9 @@ COPY --chown=opam id_rsa /home/opam/.ssh/
 RUN echo gitlab.inria.fr,128.93.193.8 ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBAFldY2ft1ReZjFYPpe/wa5Vhl4YJfYz6IJOZaZxL924R44jrGWiR2/Misrug75NBsQB+UWs1iIyWZPk0AN45Sk= >/home/opam/.ssh/known_hosts
 RUN git pull
 RUN opam update
-RUN opam pin add -n git+https://gitlab.inria.fr/tmartine/clangml.git#snapshot
+RUN opam pin add -n git+https://gitlab.inria.fr/memcad/clangml.git#snapshot
 RUN opam depext -i clangml
-RUN git clone git@gitlab.inria.fr:tmartine/clangml-transforms.git
+RUN git clone git@gitlab.inria.fr:memcad/clangml-transforms.git
 RUN cd clangml-transforms && dune build clangml-transforms.opam
 RUN opam pin add -n file://$PWD/clangml-transforms
 RUN cd /home/opam && git clone git@gitlab.inria.fr:tmartine/memcad.git