mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

idea

Browse source
This commit is contained in:
Joey Hess 2021-04-13 13:41:36 -04:00
parent a58e955293
commit 6911787042
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 12 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
doc/todo/forget_dead_keys.mdwn Normal file
View file

@ -0,0 +1,12 @@
Make git-annex forget --drop-dead also remove log files for keys that have
been marked as dead.
This would have the benefit of reducing the size of the git-annex branch.
Also it would eliminate mention of the key in the git-annex branch's
history.
Although whether it would actually delete *all* mention of a key is a bit
hard to guarantee. Can remove all the log files that are specific to a key,
like presence and metadata and chunks and remote state. But, the export.log
refers to trees, and somewhere in a tree there could be a reference to a
dead key.