02098d2073
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. |
||
|---|---|---|
| .. | ||
| fetchGit.cc | ||
| fetchMercurial.cc | ||
| fromTOML.cc | ||