I'm not sure whether fetchgit with `leaveDotGit` can ever be made deterministic... But I'll merge anyway.