From e23b61f0b633a433eb93722365962478c741335f Mon Sep 17 00:00:00 2001 From: Adeeb Shihadeh Date: Sat, 7 Dec 2024 18:46:18 -0800 Subject: [PATCH] op: fix branch switching after force pushes --- tools/op.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/op.sh b/tools/op.sh index f01863e1b1..849fd0bff6 100755 --- a/tools/op.sh +++ b/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