diff options
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 |