chiark / gitweb /
*-to-master => *-to-pretest
[dgit-junk.git] / sometest-to-tested
diff --git a/sometest-to-tested b/sometest-to-tested
new file mode 100755 (executable)
index 0000000..97d626c
--- /dev/null
@@ -0,0 +1,8 @@
+#!/bin/bash
+#
+
+set -e
+set -o pipefail
+
+nice tests/using-intree tests/run-all
+git push main HEAD:${STTM_TESTED-tested}