X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit-junk.git;a=blobdiff_plain;f=sometest-run;h=43b941e031e559c167dc2819f6e5cf4c7516782e;hp=f5c74e49c805fcfb5b0b560a71923545b13ad178;hb=2fd1e82cddfa9547983467263e56232f2e182c41;hpb=8afe37640ca54e9b4efb0a93453dc445062bbf90

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