Meta/dodoc: fetch tags with --force

diff --git a/dodoc.sh b/dodoc.sh
index 2937c919233670a00c29dd889bacb5d16a2a6494..719203f482e5e04839df2bf84748c5ff771ee383 100755 (executable)
--- a/dodoc.sh
+++ b/dodoc.sh
@@ -30,7 +30,7 @@ trap 'rm -f "$tmp".*' 0
 
 (
        git pull --ff-only "$MASTERREPO" master &&
-       git fetch --tags "$MASTERREPO"
+       git fetch --tags --force "$MASTERREPO"
 ) || exit $?
 
 test $(git rev-parse --verify refs/heads/master) = "$ID" &&