diff options
author | Neels Hofmeyr <neels@hofmeyr.de> | 2017-11-28 05:43:01 +0100 |
---|---|---|
committer | Neels Hofmeyr <neels@hofmeyr.de> | 2017-11-28 05:43:26 +0100 |
commit | f074019027b7601d16f964054735dcf7c52cc1af (patch) | |
tree | 53f4a65fe83a7b6ef406d965dd643d6900366f28 /contrib | |
parent | 48f0c0a2ecc7320b62309c5a52811d71387d8644 (diff) |
contrib/jenkins.sh: rather git checkout -f instead of pull
Change-Id: Idc672879dcb3d38978e27b90c173f0aa950c4eb1
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/jenkins.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 3bc49f9..b161230 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -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 |