From 9db1653d72b5d5f4f9cafa6b003cf310b11ecc11 Mon Sep 17 00:00:00 2001 From: Youen Date: Mon, 29 May 2023 18:02:20 +0000 Subject: [PATCH] Fixed issue when a tag is modified on the remote server --- src/data/document.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/data/document.py b/src/data/document.py index 12956fe..feada18 100644 --- a/src/data/document.py +++ b/src/data/document.py @@ -82,7 +82,7 @@ class Document: if multiversion_build: # also fetch all branches and tags, so that sphinx-multiversion knows what versions exist and can pull them - cmd.append(['git', 'fetch', '--all']) + cmd.append(['git', 'fetch', '--all', '--tags', '--force']) cmd.append(['bash', '-c', 'for BRANCH in $(git branch -a | grep remotes | grep -v HEAD | grep -v master); do git branch --track "${BRANCH#remotes/origin/}" "${BRANCH}" || git branch -f "${BRANCH#remotes/origin/}" -t "${BRANCH}"; done']) # build the HTML version