Meta/cycle-run: prune garbage before each run

diff --git a/cycle-run b/cycle-run
index 6f71d3935b2f861f9fa9e3f23ef97d095957fcdf..347b73b9835518d9b041e91b7a99187b3de7492a 100755 (executable)
--- a/cycle-run
+++ b/cycle-run
@@ -83,6 +83,14 @@ test_them () {
 }
 
 : >>.Cycle/log
+git reflog expire --expire=now --expire-unreachable=now --all
+git gc
+
+for l in .Cycle/log.[0-9a-f]*
+do
+       x=${l##*.}
+       git rev-parse --verify "$x" >/dev/null 2>&1 || rm -f "$l"
+done
+
 git fetch
-git rev-list --first-parent --parents $RANGE |
-test_them
+git rev-list --first-parent --parents $RANGE | test_them