gen_topo_o2dpg.sh: force update of local tags in case an existing one was updated on the remote

Author: ehellbar

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