2026-06-03 14:49.14: New job: git fetch https://github.com/rocq-prover/doc.git#refs/heads/master (4f46141fe2fb43fd484fbc50bd4d739ae748b184)
2026-06-03 14:49.14: Exec: "git" "-C" "/var/lib/rocqprover/var/git/doc.git-ea1a9162454a2a868e1a3c19afb2b701bc5c48a032d549fd2d063d76aa2c2d0f" 
                           "branch" "-f" "fetch-4f46141fe2fb43fd484fbc50bd4d739ae748b184" 
                           "4f46141fe2fb43fd484fbc50bd4d739ae748b184"
fatal: not a valid branch point: '4f46141fe2fb43fd484fbc50bd4d739ae748b184'
2026-06-03 14:49.14: Exec: "git" "-C" "/var/lib/rocqprover/var/git/doc.git-ea1a9162454a2a868e1a3c19afb2b701bc5c48a032d549fd2d063d76aa2c2d0f" 
                           "fetch" "--recurse-submodules=false" "-q" 
                           "-f" "https://github.com/rocq-prover/doc.git" 
                           "refs/heads/master"
error: RPC failed; curl 56 Recv failure: Connection reset by peer
error: 1918 bytes of body are still expected
fetch-pack: unexpected disconnect while reading sideband packet
fatal: early EOF
fatal: fetch-pack: invalid index-pack output
2026-06-03 14:52.14: Job failed: Command "git" "-C" "/var/lib/rocqprover/var/git/doc.git-ea1a9162454a2a868e1a3c19afb2b701bc5c48a032d549fd2d063d76aa2c2d0f" 
"fetch" "--recurse-submodules=false" "-q" "-f" "https://github.com/rocq-prover/doc.git" 
"refs/heads/master" exited with status 128