From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 7 Jul 2019 09:09:38 +0000 (+0100)
Subject: do a thing with tested.other
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit-junk.git;a=commitdiff_plain;h=2fd1e82cddfa9547983467263e56232f2e182c41;ds=sidebyside

do a thing with tested.other
---

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