From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 26 Aug 2018 10:03:47 +0000 (+0100)
Subject: pretest-to-tested-repeatedly
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit-junk.git;a=commitdiff_plain;h=a1c877902d59ac9bcf4c5d0a07659e85d50341c8;ds=sidebyside

pretest-to-tested-repeatedly
---

diff --git a/pretest-to-tested-repeatedly b/pretest-to-tested-repeatedly
new file mode 100755
index 0000000..a9352a4
--- /dev/null
+++ b/pretest-to-tested-repeatedly
@@ -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