Add 'rm -f' equivalent to 'git rm' example of filter-branch --index-filter

diff --git a/git-lost-found.sh b/git-lost-found.sh
index c0b00e0fd143ab9d96933f2d39baa94e7e50e0ef..0b3e8c7a8652478a7dd3d629fde9240cac6d6e2b 100755 (executable)
--- a/git-lost-found.sh
+++ b/git-lost-found.sh
@@ -2,8 +2,11 @@
 
 USAGE=''
 SUBDIRECTORY_OK='Yes'
+OPTIONS_SPEC=
 . git-sh-setup
 
+echo "WARNING: '$0' is deprecated in favor of 'git fsck --lost-found'" >&2
+
 if [ "$#" != "0" ]
 then
     usage
@@ -17,7 +20,7 @@ while read dangling type sha1
 do
        case "$dangling" in
        dangling)
-               if git rev-parse --verify "$sha1^0" >/dev/null 2>/dev/null
+               if git rev-parse -q --verify "$sha1^0" >/dev/null
                then
                        dir="$laf/commit"
                        git show-branch "$sha1"