It seems that docker instance has network problems for me.
lmh update
git pull /path/to/localmh/MathHub/tps/meta-inf
ssh: Could not resolve hostname gl.mathhub.info: Name or service not known
fatal: The remote end hung up unexpectedly
Did not update tps/meta-inf (merge conflicts or network issues)
git pull /path/to/localmh/MathHub/smglom/functional-analysis
ssh: Could not resolve hostname gl.mathhub.info: Name or service not known
fatal: The remote end hung up unexpectedly
Did not update smglom/functional-analysis (merge conflicts or network issues)
It seems that docker instance has network problems for me.