projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8239824) | patch
update RepoSize database from git-annex branch incrementally
authorJoey Hess <joeyh@joeyh.name>
Sat, 17 Aug 2024 17:30:24 +0000 (13:30 -0400)
committerJoey Hess <joeyh@joeyh.name>
Sat, 17 Aug 2024 17:35:00 +0000 (13:35 -0400)
commitd09a005f2b7895450afcb430e54d3f4f4db46ed5
treebaef36b259b1b5b6169caccd721581b504fced06tree | snapshot
parent8239824d922d6b09ce08ad16fa9b4cac05d9de23commit | diff
update RepoSize database from git-annex branch incrementally

The use of catObjectStream is optimally fast. Although it might be
possible to combine this with git-annex branch merge to avoid some
redundant work.

Benchmarking, a git-annex branch that had 100000 files changed
took less than 1.88 seconds to run through this.
Annex/RepoSize.hs diff | blob | history
Annex/RepoSize/LiveUpdate.hs diff | blob | history
Database/Keys.hs diff | blob | history
Logs.hs diff | blob | history
Logs/Location.hs diff | blob | history
Messages.hs diff | blob | history
doc/todo/git-annex_proxies.mdwn diff | blob | history
doc/todo/optimise_git-annex_branch_merge_and_database_updates.mdwn [new file with mode: 0644] blob
doc/todo/track_free_space_in_repos_via_git-annex_branch.mdwn diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.