diff options
| author |  guilhem <guilhem@fripost.org> | 2013-08-26 02:47:49 +0200 |
|---|---|---|
| committer |  Joey Hess <joey@kitenet.net> | 2013-08-25 21:02:13 -0400 |
| commit | df48567279fa504ca31d9f4f25b06066f08d1128 (patch) | |
| tree | 8b40f2d55abe2e74f870696db131536c43794116 /Git.hs | |
| parent | b20ea840b89f7b1584b3cadcc195508ff824ad54 (diff) | |
Speed up the 'unused' command.
Instead of populating the second-level Bloom filter with every key
referenced in every Git reference, consider only those which differ
from what's referenced in the index.
Incidentaly, unlike with its old behavior, staged
modifications/deletion/... will now be detected by 'unused'.
Credits to joeyh for the algorithm. :-)
Diffstat (limited to 'Git.hs')
0 files changed, 0 insertions, 0 deletions