diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2022-10-26 16:48:48 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-26 16:48:48 +0200 |
commit | 9323d139b0692e3ce140f89f8fe2a14e41610057 (patch) | |
tree | 1d99050a4f6a824e557c7a0a787fda507a94c904 /src/nix/optimise-store.md | |
parent | 74cc24f4cfa0e1700a5b5d2415a5c43fb8b2128e (diff) | |
parent | a259084c50cdb692a6ba6818bb56ee381e67715b (diff) |
Merge pull request #7174 from agbrooks/git-tag-bug
Prevent fetchGit from using incorrect cached rev for different refs
Diffstat (limited to 'src/nix/optimise-store.md')
0 files changed, 0 insertions, 0 deletions