diff options
-rwxr-xr-x | contrib/jenkins.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh new file mode 100755 index 0000000..eb079a2 --- /dev/null +++ b/contrib/jenkins.sh @@ -0,0 +1,12 @@ +#!/bin/sh + +set -e + +cd ~/osmo-ci || (cd ~/ && git clone git://git.osmocom.org/osmo-ci && cd osmo-ci) +git rev-parse HEAD +git status + +git fetch && git checkout -f -B master origin/master + +git rev-parse HEAD +git status |