From 06b07c9b712c1dde8006f45906b2370a2a9f16dd Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 19 Jul 2015 17:02:53 +0100
Subject: [PATCH] sometest-to-master

---
 pretest-to-master  | 3 +--
 sometest-to-master | 8 ++++++++
 2 files changed, 9 insertions(+), 2 deletions(-)
 create mode 100755 sometest-to-master

diff --git a/pretest-to-master b/pretest-to-master
index b093241..175bccc 100755
--- a/pretest-to-master
+++ b/pretest-to-master
@@ -11,6 +11,5 @@ while read num rev; do
 	echo >&2 ""
 	echo >&2 "testing $num $rev"
 	git checkout $rev
-	nice tests/using-intree tests/run-all
-	git push main HEAD:master
+	${0%/*}/sometest-to-master
 done
diff --git a/sometest-to-master b/sometest-to-master
new file mode 100755
index 0000000..962fd68
--- /dev/null
+++ b/sometest-to-master
@@ -0,0 +1,8 @@
+#!/bin/bash
+#
+
+set -e
+set -o pipefail
+
+nice tests/using-intree tests/run-all
+git push main HEAD:master
-- 
2.30.2