projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f7094a) | patch
improve storage of redundant ContentIdentifiers
authorJoey Hess <joeyh@joeyh.name>
Tue, 22 Dec 2020 16:00:11 +0000 (12:00 -0400)
committerJoey Hess <joeyh@joeyh.name>
Tue, 22 Dec 2020 16:03:25 +0000 (12:03 -0400)
commit06ef1b7d68ee2b149e663f2362e5685303d0bd3a
tree63948fbf184baa47e9eb73005a3d56b3ed0e8212tree | snapshot
parent7f7094a7cbb8f66259c0317f86fa3a8ce0c71a46commit | diff
improve storage of redundant ContentIdentifiers

When a ContentIdentifier is already recorded, don't add it to the log
again, and avoid updating the log.
Logs/ContentIdentifier.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.