(for PR #25889)

2025-02-10 15:06.40: New job: Lint
2025-02-10 15:06.40: Checking out commit 93450bab. To reproduce:
                       git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/25889/head" && git reset --hard 93450bab
2025-02-10 15:06.40: Exec: "cp" "-a" "--" "/var/lib/ocurrent/var/git/opam-repository.git-a0bc4b41ddb868605dc1500002c27cfa79faf4389fe53b6754817ea16b48d458/.git" 
                           "/tmp/git-checkout15d6627b"
2025-02-10 15:06.45: Exec: "git" "-C" "/tmp/git-checkout15d6627b" "submodule" 
                           "deinit" "--force" "--all"
2025-02-10 15:06.45: Exec: "git" "-C" "/tmp/git-checkout15d6627b" "reset" 
                           "--hard" "-q" "93450bab6f4ccfda0b50177b39c9218bc8e47470"
fatal: Unable to create '/tmp/git-checkout15d6627b/.git/index.lock': File exists.

Another git process seems to be running in this repository, e.g.
an editor opened by 'git commit'. Please make sure all processes
are terminated then try again. If it still fails, a git process
may have crashed in this repository earlier:
remove the file manually to continue.
2025-02-10 15:06.45: Exec: "git" "-C" "/var/lib/ocurrent/var/git/opam-repository.git-a0bc4b41ddb868605dc1500002c27cfa79faf4389fe53b6754817ea16b48d458" 
                           "branch" "-f" "fetch-93450bab6f4ccfda0b50177b39c9218bc8e47470" 
                           "93450bab6f4ccfda0b50177b39c9218bc8e47470"
2025-02-10 15:06.45: Job failed: Command "git" "-C" "/tmp/git-checkout15d6627b" "reset" "--hard" "-q" 
"93450bab6f4ccfda0b50177b39c9218bc8e47470" exited with status 128