path: root/scripts
diff options
authorNeels Hofmeyr <>2017-10-27 22:32:45 +0200
committerNeels Hofmeyr <>2017-10-27 22:37:22 +0200
commitf9c1cb2777cfc2241a51749ea126dfd1f02276be (patch)
treeb53b6316e9f6a09a7ec9a4b333226db68c186827 /scripts
parent7c5e34cba004837189c92ca015856a06288872e0 (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')
2 files changed, 2 insertions, 2 deletions
diff --git a/scripts/ b/scripts/
index 92cf041..74de22b 100755
--- a/scripts/
+++ b/scripts/
@@ -16,5 +16,5 @@ git fetch origin
# the dep subdir separately:
-git reset --hard "$branch"
+git checkout -f "$branch"
git rev-parse HEAD
diff --git a/scripts/ b/scripts/
index 374515e..a975396 100755
--- a/scripts/
+++ b/scripts/
@@ -44,4 +44,4 @@ fi
cd layer1-headers
git fetch origin
-git reset --hard "$version"
+git checkout -f "$version"