Which docker image are you using? Are you using
`
quay.io/fenicsproject_dev/dolfin:master` or any of the other images
on `
quay.io/fenicsproject_dev`? They are generated by our CI system
and the projects in `~/local/src` are shallow clones and does not have
a proper git remote set, and therefore `git pull` does not work.
However, instead of running `fenics-update` inside the docker
container, you can run `docker pull
`
quay.io/fenicsproject_dev/dolfin:master` or similar for your docker
image to get the latest updates.
Note that the docker images on `
quay.io/fenicsproject_dev` are
primarily meant for the CI system and for debugging. That said, I will
see if I can set a proper git remote such that `fenics-update` will
work in the future.
Johannes