We don't actually need the full git history to do basic docs linting, so let's go with shallow cloning to speed up the job.