From d3a3f65e7bb35a13fe404ee43d97a815ea9ff304 Mon Sep 17 00:00:00 2001
From: trapexit <trapexit@spawn.link>
Date: Tue, 25 Nov 2025 23:39:13 -0600
Subject: [PATCH] Ignore remote when forcing generation of docs (#1592)

---
 mkdocs/generate-and-push-docs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/mkdocs/generate-and-push-docs b/mkdocs/generate-and-push-docs
index 762622d0..7aa0a414 100755
--- a/mkdocs/generate-and-push-docs
+++ b/mkdocs/generate-and-push-docs
@@ -6,13 +6,13 @@ current_branch="$(git branch --show-current)"
 mike delete --all --push --allow-empty --ignore-remote-status
 
 git checkout "master"
-mike deploy --push "latest" "master"
+mike deploy --push "latest" "master" --ignore-remote-status
 
 for tag in $(git tag -l | sort --version-sort --reverse)
 do
     if git ls-tree -r --name-only "${tag}" | grep -q 'mkdocs.yml'; then
         git checkout "${tag}"
-        mike deploy --push "${tag}"
+        mike deploy --push "${tag}" --ignore-remote-status
     fi
 done
 
@@ -21,6 +21,6 @@ done
 #mike alias --push "${latest}" "latest"
 #mike alias --push "latest" "latest"
 
-mike set-default --push "latest"
+mike set-default --push "latest" --ignore-remote-status
 
 git checkout "${current_branch}"