2022-07-31 12:13.47: New job: git clone { "repo": "https://github.com/ocaml/opam-repository.git", "gref": "master" } 2022-07-31 12:13.47: Exec: "git" "-C" "/var/lib/ocurrent/var/git/opam-repository.git-a0bc4b41ddb868605dc1500002c27cfa79faf4389fe53b6754817ea16b48d458" "fetch" "-f" "https://github.com/ocaml/opam-repository.git" "master:refs/remotes/origin/master" From https://github.com/ocaml/opam-repository fa7dbef32b..3d455d5962 master -> origin/master 2022-07-31 12:13.48: Exec: "git" "-C" "/var/lib/ocurrent/var/git/opam-repository.git-a0bc4b41ddb868605dc1500002c27cfa79faf4389fe53b6754817ea16b48d458" "rev-parse" "origin/master" 2022-07-31 12:13.48: Job succeeded