Git clone randomly fails when building pull requests from forks

This has been mentioned several times here, I think this one is the canonical copy.