2021-11-30 13:47.49: New job: git clone { "repo": "https://github.com/mirage/opam-overlays.git", "gref": null } 2021-11-30 13:47.49: Exec: "git" "ls-remote" "--symref" "https://github.com/mirage/opam-overlays.git" "HEAD" 2021-11-30 13:47.49: Default branch is 'master' 2021-11-30 13:47.49: Exec: "git" "-C" "/var/lib/ocurrent/var/git/opam-overlays.git-56e2ba3d8f0f03393bf531fd3256f81f1cd92a45d9f125cd6e650324c12e0522" "fetch" "-f" "https://github.com/mirage/opam-overlays.git" "master:refs/remotes/origin/master" 2021-11-30 13:47.49: Exec: "git" "-C" "/var/lib/ocurrent/var/git/opam-overlays.git-56e2ba3d8f0f03393bf531fd3256f81f1cd92a45d9f125cd6e650324c12e0522" "rev-parse" "origin/master" 2021-11-30 13:47.49: Job succeeded