From a1c877902d59ac9bcf4c5d0a07659e85d50341c8 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 26 Aug 2018 11:03:47 +0100
Subject: [PATCH] pretest-to-tested-repeatedly

---
 pretest-to-tested-repeatedly | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100755 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
-- 
2.30.2