chiark / gitweb /
~ianmdlvl / dgit-junk.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
README.update: Finish up dm user key setup
[dgit-junk.git] / sometest-to-master
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:master
Unnamed repository; edit this file 'description' to name the repository.