We use this command in our Dockerfile:
sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni
As suggested here: Get opam in a Docker image - #4 by mudrz
But other than that, I don’t think we ever do an explicit git pull
or something of the sort.