2023-02-01 09:28.33: New job: git clone { "repo": "https://github.com/ocaml/opam-repository.git", "gref": "master" } 2023-02-01 09:28.33: 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 3d52404962..3644be3838 master -> origin/master 2023-02-01 09:28.34: Exec: "git" "-C" "/var/lib/ocurrent/var/git/opam-repository.git-a0bc4b41ddb868605dc1500002c27cfa79faf4389fe53b6754817ea16b48d458" "rev-parse" "origin/master" 2023-02-01 09:28.34: Job succeeded