Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:
I think this is an idea to solve a good problem, but if we go
this route, the need for us to worry about expiring lost-found
entries would become more urgent, I suspect.
And when you think about expiring lost-found entries, another
possible solution emerges. If we teach git-prune to remove the
corresponding entry from lost-found/other when it removes a
loose blob from the object store, then we can easily and safely
do this instead:
$ cat .git/lost-found/other/* |
xargs -r git grep 'the word to look for'
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html