From f1e305ad4120c45e5e43625646bc1c4b7c353ae1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= <reynir@reynir.dk>
Date: Fri, 9 Sep 2022 18:46:26 +0200
Subject: [PATCH] Fixup git pull

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index e2166de..08322f4 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -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 && \