Interesting! I’m trying to make our “restoring source cache” step faster. I might try some git repo hacking to make it smaller, similar to what you did here to fix errors with the cache. I’ve posted a separate question about the source cache performance: