diff options
| author | Graham Christensen <graham.christensen@target.com> | 2018-08-17 10:29:32 -0400 |
|---|---|---|
| committer | Graham Christensen <graham.christensen@target.com> | 2018-08-17 11:27:34 -0400 |
| commit | 02098d2073e2f7c06b6d05c6749ae2b76b7f57d5 (patch) | |
| tree | b5e37e17af5e63f484d44259efbcbcbc30dd10af /src/nix/cat.cc | |
| parent | d277442df53a01343ba7c1df0bbd2a294058dcba (diff) | |
fetchGit: use a better caching scheme
The current usage technically works by putting multiple different
repos in to the same git directory. However, it is very slow as
Git tries very hard to find common commits between the two
repositories. If the two repositories are large (like Nixpkgs and
another long-running project,) it is maddeningly slow.
This change busts the cache for existing deployments, but users
will be promptly repaid in per-repository performance.
Diffstat (limited to 'src/nix/cat.cc')
0 files changed, 0 insertions, 0 deletions