failure when cloning

[hannesm]

from https://github.com/mirage/charrua/pull/127/checks?check_run_id=29793738314 I get the following error:

❌ (analysis) (failed: Command "git" "-C" "/var/lib/ocurrent/var/git/charrua.git-1fa4fc8af49ffe3746b2b001c3e85fd74b863ef95f109aed21765682489d9720"
"fetch" "--recurse-submodules=false" "-q" "-f" "https://github.com/mirage/charrua.git"
"refs/pull/127/head" exited with status 128)

[mtelvers]

Rebuilding the job through this link has moved things along

[mtelvers]

The error message was

2024-09-06 16:41.22: New job: git fetch https://github.com/mirage/charrua.git#refs/pull/127/head (05c0d9f23a205adac8b96b3797725a03198e4677)
2024-09-06 16:41.22: Exec: "git" "-C" "/var/lib/ocurrent/var/git/charrua.git-1fa4fc8af49ffe3746b2b001c3e85fd74b863ef95f109aed21765682489d9720" 
                           "branch" "-f" "fetch-05c0d9f23a205adac8b96b3797725a03198e4677" 
                           "05c0d9f23a205adac8b96b3797725a03198e4677"
fatal: not a valid branch point: '05c0d9f23a205adac8b96b3797725a03198e4677'
2024-09-06 16:41.23: Exec: "git" "-C" "/var/lib/ocurrent/var/git/charrua.git-1fa4fc8af49ffe3746b2b001c3e85fd74b863ef95f109aed21765682489d9720" 
                           "fetch" "--recurse-submodules=false" "-q" 
                           "-f" "https://github.com/mirage/charrua.git" 
                           "refs/pull/127/head"
fatal: couldn't find remote ref refs/pull/127/head
2024-09-06 16:41.23: Job failed: Command "git" "-C" "/var/lib/ocurrent/var/git/charrua.git-1fa4fc8af49ffe3746b2b001c3e85fd74b863ef95f109aed21765682489d9720" 
"fetch" "--recurse-submodules=false" "-q" "-f" "https://github.com/mirage/charrua.git" 
"refs/pull/127/head" exited with status 128

[hannesm]

thanks. when I clicked on the failing job, all I saw was an internal server error (=500) from ci.ocaml.org...