Occasional pull failures

We use a python script ( https://gitlab.developers.cam.ac.uk/ch/co/gitlab_cloner/blob/master/ROOT/usr/local/bin/gitlab_cloner ) to periodically clone/pull (delete as appropriate) a copy of all our gitlab repos to a local server. We occasionally see errors:

Error when fetching: fatal: Could not read from remote repository.

The last few times have been

• 24/09/2019, 13:56
• 29/09/2019, 09:56
• 29/09/2019, 13:57
• 30/09/2019, 10:57

and will all have been from 172.26.222.37. I don't have a record of which repo was being pulled at the point the error was thrown, though I could probably tweak the script to throw that if it would aid debugging. FWIW the errors are always from line 73 of my script which just calls origin.pull() using the python-gitlab library