pretest-to-tested: Script for helping run comprehensive-test

This runs it on every commit between tested and pretest, advancing
tested as it goes.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/pretest-to-tested b/pretest-to-tested
new file mode 100755 (executable)
index 0000000..7166486
--- /dev/null
+++ b/pretest-to-tested
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+# best to run this in a git-worktree
+# example runes in main tree:
+#  git-branch -f pretest && git-branch -f tested `git-merge-base HEAD tested` && git-checkout wip
+
+set -e
+while true; do
+    next=$(git-rev-list --reverse tested..pretest | head -n1)
+    if [ "x$next" = x ]; then break; fi
+    git checkout "$next"
+    ./comprehensive-test
+    git push . HEAD:tested
+done