diff options
-rwxr-xr-x | scripts/osmo-deps.sh | 2 | ||||
-rwxr-xr-x | scripts/osmo-layer1-headers.sh | 2 |
2 files changed, 2 insertions, 2 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 diff --git a/scripts/osmo-layer1-headers.sh b/scripts/osmo-layer1-headers.sh index 374515e..a975396 100755 --- a/scripts/osmo-layer1-headers.sh +++ b/scripts/osmo-layer1-headers.sh @@ -44,4 +44,4 @@ fi cd layer1-headers git fetch origin -git reset --hard "$version" +git checkout -f "$version" |