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