Fixup git pull

2022-09-09 18:46:26 +02:00 · 2022-09-09 18:46:26 +02:00 · f1e305ad41
parent 2865ee3c14
commit f1e305ad41
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1,6 +1,6 @@
 FROM ocaml/opam:ubuntu-20.04-ocaml-4.14 AS opam
 RUN sudo cp /usr/bin/opam-2.1 /usr/local/bin/opam
-RUN sudo apt update && ( cd opam-repository && git pull ) && opam update && \
+RUN sudo apt update && ( cd opam-repository && git pull origin master ) && opam update && \
    opam install 'mirage>4' && \
    eval $(opam env) && \
    git clone https://github.com/roburio/unipi.git && \