./all clean: also back out of merge conflicts

diff --git a/all b/all
index 1296bdae9cecb62e4f6f4ae97d19a2e7a3e3236b..155cc5e6a701f40eaeac0cc2f60ce3999e47d0c2 100755 (executable)
--- a/all
+++ b/all
@@ -904,9 +904,10 @@ case "$cmd" in
                        force=true
                fi
                for d in $repos; do
-                       enter "$d0/$d" verbose
+                       verbose cd "$d0/$d"
                        if $force; then
-                               verbose git checkout-index -fa
+                               verbose git reset --hard
+                               #redundant# verbose git checkout-index -fa
                        fi
                        case "$d" in
                                .)