[00:09:16] andre, The one failing right now is just running `git fetch origin --prune --prune-tags --tags`. https://pastebin.com/SWYiHwze [00:09:57] I am having to clone from github, though, as cloning with --mirror results in a 502 if attempted from gerrit.