contrib/jenkins.sh: rather git checkout -f instead of pull

Change-Id: Idc672879dcb3d38978e27b90c173f0aa950c4eb1
This commit is contained in:
Neels Hofmeyr 2017-11-28 05:43:01 +01:00
parent 48f0c0a2ec
commit f074019027
1 changed files with 1 additions and 1 deletions

View File

@ -5,7 +5,7 @@ cd ~/osmo-ci || (cd ~/ && git clone git://git.osmocom.org/osmo-ci && cd ~/osmo-c
git rev-parse HEAD
git status
git pull origin
git fetch && git checkout -f -B master origin/master
git rev-parse HEAD
git status