From 47c1fc158a7bea84c71df8973d39f752c79f93ef Mon Sep 17 00:00:00 2001 From: Junio C Hamano Date: Tue, 7 Mar 2023 13:44:24 -0800 Subject: [PATCH] Meta/dodoc: fetch tags with --force --- dodoc.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dodoc.sh b/dodoc.sh index 2937c91923..719203f482 100755 --- 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" &&