diff --git a/doc/bugs/Deleting_last_copy_of_files_doesn__39__t_mark_them_dead/comment_2_745d70d2b7fea257727465281e16701e._comment b/doc/bugs/Deleting_last_copy_of_files_doesn__39__t_mark_them_dead/comment_2_745d70d2b7fea257727465281e16701e._comment new file mode 100644 index 0000000000..951282c994 --- /dev/null +++ b/doc/bugs/Deleting_last_copy_of_files_doesn__39__t_mark_them_dead/comment_2_745d70d2b7fea257727465281e16701e._comment @@ -0,0 +1,12 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 2""" + date="2018-10-04T17:03:42Z" + content=""" +I agree with CandyAngel, this is not something that should be done +automatically. + +While `git annex dead --batch` could be worth adding, it might be more +useful to support `git annex dead --files file|dir ...` so you can just run +it on the same files you're dropping. +"""]]