chiark / gitweb /
pretest-to-tested-repeatedly
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 26 Aug 2018 10:03:47 +0000 (11:03 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 26 Aug 2018 10:03:47 +0000 (11:03 +0100)
pretest-to-tested-repeatedly [new file with mode: 0755]

diff --git a/pretest-to-tested-repeatedly b/pretest-to-tested-repeatedly
new file mode 100755 (executable)
index 0000000..a9352a4
--- /dev/null
@@ -0,0 +1,15 @@
+#!/bin/bash
+
+set -e
+set -o pipefail
+
+while true; do
+       git fetch -p main
+       pretest=$(git-rev-parse main/pretest)
+       tested=$(git-rev-parse main/${STTM_TESTED-tested})
+       if [ $pretest = $tested ]; then break; fi
+
+       ${0%/*}/pretest-to-tested
+done
+
+echo FINISHED