diff options
author | Junio C Hamano <gitster@pobox.com> | 2023-03-07 13:44:24 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-03-07 13:44:24 -0800 |
commit | 47c1fc158a7bea84c71df8973d39f752c79f93ef (patch) | |
tree | d1652f292f5187e54d5cf33b08dbc467b6b5f472 | |
parent | 4afad0df30edcbb8f465a6d66d61f210a67d90d7 (diff) | |
download | git-47c1fc158a7bea84c71df8973d39f752c79f93ef.tar.gz |
Meta/dodoc: fetch tags with --force
-rwxr-xr-x | dodoc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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" && |