1
0
mirror of https://github.com/git/git synced 2024-07-02 15:48:44 +00:00

Meta/dodoc: fetch tags with --force

This commit is contained in:
Junio C Hamano 2023-03-07 13:44:24 -08:00
parent 4afad0df30
commit 47c1fc158a

View File

@ -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" &&