close
This commit is contained in:
parent
25809ce2e0
commit
8540183a02
1 changed files with 2 additions and 0 deletions
|
@ -21,6 +21,8 @@ in the bloom filter. Since there can be false positives, this might
|
||||||
miss finding some unused keys. The probability/size of filter
|
miss finding some unused keys. The probability/size of filter
|
||||||
could be tunable.
|
could be tunable.
|
||||||
|
|
||||||
|
> [[done]]! --[[Joey]]
|
||||||
|
|
||||||
Another way might be to scan the git log for files that got removed
|
Another way might be to scan the git log for files that got removed
|
||||||
or changed what key they pointed to. Correlate with keys with content
|
or changed what key they pointed to. Correlate with keys with content
|
||||||
currently present in the repository (possibly using a bloom filter again),
|
currently present in the repository (possibly using a bloom filter again),
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue