[INFO] cloning repository https://github.com/minimalrust/mrp000
[INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/mnt/big/crater/work/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/minimalrust/mrp000" "work/cache/git-repos/https%3A%2F%2Fgithub.com%2Fminimalrust%2Fmrp000"`
[INFO] [stderr] Cloning into bare repository 'work/cache/git-repos/https%3A%2F%2Fgithub.com%2Fminimalrust%2Fmrp000'...
[ERROR] this task or one of its parent failed!
[ERROR] failed to clone https://github.com/minimalrust/mrp000
[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/minimalrust/mrp000" "work/cache/git-repos/https%3A%2F%2Fgithub.com%2Fminimalrust%2Fmrp000"` failed
[ERROR]