chiark / gitweb /
~ianmdlvl / dgit-junk.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
*-to-master => *-to-pretest
[dgit-junk.git] / sometest-to-tested
1 #!/bin/bash
2 #
3
4 set -e
5 set -o pipefail
6
7 nice tests/using-intree tests/run-all
8 git push main HEAD:${STTM_TESTED-tested}
Unnamed repository; edit this file 'description' to name the repository.