2021-11-24 14:37.32: New job: git clone { "repo": "https://github.com/janestreet/ppx_sexp_conv.git", "gref": null } 2021-11-24 14:37.32: Exec: "git" "ls-remote" "--symref" "https://github.com/janestreet/ppx_sexp_conv.git" "HEAD" 2021-11-24 14:37.32: Default branch is 'master' 2021-11-24 14:37.32: Exec: "git" "-C" "/var/lib/ocurrent/var/git/ppx_sexp_conv.git-7331951827e0579e50056e5328f9cc8695eb4d2e1a3a8693ff17df90f57fb437" "fetch" "-f" "https://github.com/janestreet/ppx_sexp_conv.git" "master:refs/remotes/origin/master" 2021-11-24 14:37.32: Exec: "git" "-C" "/var/lib/ocurrent/var/git/ppx_sexp_conv.git-7331951827e0579e50056e5328f9cc8695eb4d2e1a3a8693ff17df90f57fb437" "rev-parse" "origin/master" 2021-11-24 14:37.32: Job succeeded