From b7847368cebbc69e599a92f9856c990f3d8b1aa3 Mon Sep 17 00:00:00 2001 From: Ernst Hellbar Date: Tue, 2 Sep 2025 14:29:08 +0200 Subject: [PATCH] gen_topo_o2dpg.sh: force update of local tags in case an existing one was updated on the remote --- DATA/tools/epn/gen_topo_o2dpg.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/DATA/tools/epn/gen_topo_o2dpg.sh b/DATA/tools/epn/gen_topo_o2dpg.sh index 22f77cba8..d67b7381a 100755 --- a/DATA/tools/epn/gen_topo_o2dpg.sh +++ b/DATA/tools/epn/gen_topo_o2dpg.sh @@ -94,7 +94,7 @@ while true; do done git checkout $GEN_TOPO_SOURCE &> /dev/null if [[ $? != 0 ]]; then - git fetch --tags origin 1>&2 || { echo Repository update failed 1>&2; exit 1; } + git fetch -f --tags origin 1>&2 || { echo Repository update failed 1>&2; exit 1; } git checkout $GEN_TOPO_SOURCE &> /dev/null || { echo commit does not exist 1>&2; exit 1; } fi # At a tag, or a detached non-dirty commit, but not on a branch