Merge pull request #401 from perftool-incubator/dev-kmr

force the git-fetch calls to always get the latest repo status
perftool-incubator · Sep 24, 2024 · c52363c · c52363c
2 parents 6c01791 + b484229
commit c52363c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/bin/_git-fetch b/bin/_git-fetch
@@ -64,7 +64,7 @@ touch "${PROCESS_LOCK_FILE}"
 
                 if pushd ${repo_dir} > /dev/null; then
                     if [ -d "./.git" ]; then
-                        git_fetch_cmd="git fetch --all --prune --prune-tags --tags --verbose"
+                        git_fetch_cmd="git fetch --all --prune --prune-tags --tags --verbose --force"
                         echo "${git_fetch_cmd}"
                         ${git_fetch_cmd}
 

diff --git a/bin/_update-git b/bin/_update-git
@@ -63,7 +63,7 @@ if [ -d "./.git" ]; then
     fi
 
     # fetch updates from remote(s)
-    git_fetch_cmd="git fetch --all --prune --prune-tags --tags --verbose"
+    git_fetch_cmd="git fetch --all --prune --prune-tags --tags --verbose --force"
     echo "${git_fetch_cmd}"
     if ! ${git_fetch_cmd} 2>&1; then
 	echo "ERROR: could not git-fetch"