Hi, I noticed a "purple" build: https://builder.wildebeest.org/buildbot/#/builders/25/builds/77 . Apparently some exception happened during git checkout. Thanks, - Tom