diff options
| author |  https://www.google.com/accounts/o8/id?id=AItOawnRFOsnEk8AJg1mXlq3mJDdt1YdYepozE8 <Murmel@web> | 2014-11-13 21:42:57 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2014-11-13 21:42:57 +0000 |
| commit | d5655d89f30a96a7fc03dac747d2b4ecfea4a415 (patch) | |
| tree | a82c99c15c13b31cf2e79e37b0a43292425a0c17 /doc/todo/find_unused_in_any_commit | |
| parent | 572683ad2938c3b9efe8a8a0a1909dcbc627111f (diff) | |
Added a comment: Other loop strategy?
Diffstat (limited to 'doc/todo/find_unused_in_any_commit')
| -rw-r--r-- | doc/todo/find_unused_in_any_commit/comment_1_cecdf4e8600fbcf5d1541e35a91fb37b._comment | 8 |
1 files changed, 8 insertions, 0 deletions
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 000000000..04fe62666 --- /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. +"""]] |