op: fix branch switching after force pushes

pull/34180/head
Adeeb Shihadeh 6 months ago
parent ae1e476431
commit e23b61f0b6
  1. 2
      tools/op.sh

@ -327,7 +327,7 @@ function op_switch() {
fi
BRANCH="$1"
git fetch "$REMOTE" "$BRANCH":"$BRANCH"
git fetch "$REMOTE" "$BRANCH"
git checkout -f --recurse-submodules "$BRANCH"
git reset --hard "$BRANCH"
git clean -df

Loading…
Cancel
Save