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

comment

Browse source
This commit is contained in:
Joey Hess 2023-08-22 12:10:46 -04:00
parent 379d58b499
commit d4ca85fd23
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 16 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
doc/todo/deleting_a_repository_from_history/comment_2_69de586c7c030f75fd540d05a6ca4ddb._comment Normal file
View file

@ -0,0 +1,16 @@
[[!comment format=mdwn
username="joey"
subject="""comment 2"""
date="2023-08-22T16:03:55Z"
content="""
`git-annex forget --drop-dead` is probably the best answer.
Yes, this also deletes historical data about past locations of files. The
only user-visible effect of that is that `git-annex log` won't show where
files used to be located.
It has to delete history, because history includes all the data that was
merged from the other repository. And it would be too hard to traverse all
history and delete any information that came from that repository in every
commit.
"""]]