[INFO] cloning repository https://github.com/tkadur/MiniML
[INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/mnt/big/crater/work/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/tkadur/MiniML" "work/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftkadur%2FMiniML"`
[INFO] [stderr] Cloning into bare repository 'work/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftkadur%2FMiniML'...
[ERROR] this task or one of its parent failed!
[ERROR] failed to clone https://github.com/tkadur/MiniML
[ERROR] caused by: command `"git" "-c" "credential.helper=" "-c" "credential.helper=/mnt/big/crater/work/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/tkadur/MiniML" "work/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftkadur%2FMiniML"` failed
[ERROR]