(for PR #25680)

2025-02-10 15:05.34: New job: Lint
2025-02-10 15:05.34: Checking out commit d8e96187. To reproduce:
                       git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/25680/head" && git reset --hard d8e96187
2025-02-10 15:05.34: Exec: "cp" "-a" "--" "/var/lib/ocurrent/var/git/opam-repository.git-a0bc4b41ddb868605dc1500002c27cfa79faf4389fe53b6754817ea16b48d458/.git" 
                           "/tmp/git-checkout24ef58c7"
cp: cannot stat '/var/lib/ocurrent/var/git/opam-repository.git-a0bc4b41ddb868605dc1500002c27cfa79faf4389fe53b6754817ea16b48d458/.git/index.lock': No such file or directory
2025-02-10 15:05.35: Job failed: Command "cp" "-a" "--" "/var/lib/ocurrent/var/git/opam-repository.git-a0bc4b41ddb868605dc1500002c27cfa79faf4389fe53b6754817ea16b48d458/.git" 
"/tmp/git-checkout24ef58c7" exited with status 1