pre-commit jobs are failing

Pre-commit jobs are failing (example: https://gitlab.developers.cam.ac.uk/uis/devops/docs/guidebook/-/jobs/1785816) in a manner which looks like an upstream bug. Try to implement a workaround.