diff options
author | Neels Hofmeyr <neels@hofmeyr.de> | 2017-10-27 22:32:45 +0200 |
---|---|---|
committer | Neels Hofmeyr <neels@hofmeyr.de> | 2017-10-27 22:37:22 +0200 |
commit | f9c1cb2777cfc2241a51749ea126dfd1f02276be (patch) | |
tree | b53b6316e9f6a09a7ec9a4b333226db68c186827 /scripts/osmo-deps.sh | |
parent | 7c5e34cba004837189c92ca015856a06288872e0 (diff) |
scripts: use 'git checkout -f' instead of 'reset --hard'
'checkout -f' more accurately does what is intended. 'reset' changes the
current branch to some hash, 'checkout -f' force-checkouts another branch.
Change-Id: Ic6279ebaf8160bceb3fa2ab40eff0b888ecd5009
Diffstat (limited to 'scripts/osmo-deps.sh')
-rwxr-xr-x | scripts/osmo-deps.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/osmo-deps.sh b/scripts/osmo-deps.sh index 92cf041..74de22b 100755 --- a/scripts/osmo-deps.sh +++ b/scripts/osmo-deps.sh @@ -16,5 +16,5 @@ git fetch origin # the dep subdir separately: osmo-clean-workspace.sh -git reset --hard "$branch" +git checkout -f "$branch" git rev-parse HEAD |