From bee51c5f513bc99e0c7586322698a2cd3107e508 Mon Sep 17 00:00:00 2001 From: "https://www.google.com/accounts/o8/id?id=AItOawnRFOsnEk8AJg1mXlq3mJDdt1YdYepozE8" Date: Thu, 13 Nov 2014 21:42:57 +0000 Subject: [PATCH] Added a comment: Other loop strategy? --- .../comment_1_cecdf4e8600fbcf5d1541e35a91fb37b._comment | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 doc/todo/find_unused_in_any_commit/comment_1_cecdf4e8600fbcf5d1541e35a91fb37b._comment diff --git a/doc/todo/find_unused_in_any_commit/comment_1_cecdf4e8600fbcf5d1541e35a91fb37b._comment b/doc/todo/find_unused_in_any_commit/comment_1_cecdf4e8600fbcf5d1541e35a91fb37b._comment new file mode 100644 index 0000000000..04fe62666f --- /dev/null +++ b/doc/todo/find_unused_in_any_commit/comment_1_cecdf4e8600fbcf5d1541e35a91fb37b._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="https://www.google.com/accounts/o8/id?id=AItOawnRFOsnEk8AJg1mXlq3mJDdt1YdYepozE8" + nickname="Murmel" + subject="Other loop strategy?" + date="2014-11-13T21:42:57Z" + content=""" +My motiviation to have such a feature is to free space if a key is unused in the \"--ever\" sense. I think it is no problem if this is a slow operation, as you don't use it often. How about this strategy: Loop over keys, for each key find out with something like \"git log -S\" if it is used. +"""]]