2021-11-28 14:37.31: New job: git clone { "repo": "https://github.com/mirage/bigarray-compat.git", "gref": null } 2021-11-28 14:37.31: Exec: "git" "ls-remote" "--symref" "https://github.com/mirage/bigarray-compat.git" "HEAD" 2021-11-28 14:37.31: Default branch is 'master' 2021-11-28 14:37.31: Exec: "git" "-C" "/var/lib/ocurrent/var/git/bigarray-compat.git-a3bda96c7f463d7d3b2f8da495ab3e05feee27b037acb6508688088700d45424" "fetch" "-f" "https://github.com/mirage/bigarray-compat.git" "master:refs/remotes/origin/master" 2021-11-28 14:37.31: Exec: "git" "-C" "/var/lib/ocurrent/var/git/bigarray-compat.git-a3bda96c7f463d7d3b2f8da495ab3e05feee27b037acb6508688088700d45424" "rev-parse" "origin/master" 2021-11-28 14:37.31: Job succeeded