From 2fd1e82cddfa9547983467263e56232f2e182c41 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 7 Jul 2019 10:09:38 +0100
Subject: [PATCH] do a thing with tested.other

---
 sometest-run | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/sometest-run b/sometest-run
index f5c74e4..43b941e 100755
--- a/sometest-run
+++ b/sometest-run
@@ -3,4 +3,13 @@
 set -e
 set -o pipefail
 
+if [ "$(git-for-each-ref '[r]efs/remotes/main/tested.other')" ]; then
+	this=$(git-log -n1 --pretty=format:%T)
+	if git log --pretty=format:%T HEAD..main/tested.other \
+	 | grep -xF "$this"; then
+		echo 'EQUAL TREE'
+		exit 0
+	fi
+fi
+
 time nice tests/using-intree tests/run-all
-- 
2.30.2