Fix a seriously bad interaction between .git caching and repo cloning

No match.