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