From 2865ee3c14f0cf6df00765ca94b0ce0b5533a70c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= <reynir@reynir.dk>
Date: Fri, 9 Sep 2022 18:39:02 +0200
Subject: [PATCH] Do git pull from opam-repository

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

diff --git a/Dockerfile b/Dockerfile
index bbcc541..e2166de 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 && opam update && \
+RUN sudo apt update && ( cd opam-repository && git pull ) && opam update && \
     opam install 'mirage>4' && \
     eval $(opam env) && \
     git clone https://github.com/roburio/unipi.git && \