From 8b9b3431e4da249dfd9ea23c2c44bc669cc3b29c Mon Sep 17 00:00:00 2001
From: trapexit <trapexit@spawn.link>
Date: Fri, 9 May 2025 21:48:24 -0500
Subject: [PATCH] Try force push (#1459)

---
 .github/workflows/mkdocs.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/mkdocs.yml b/.github/workflows/mkdocs.yml
index 00a943fc..6fae606a 100644
--- a/.github/workflows/mkdocs.yml
+++ b/.github/workflows/mkdocs.yml
@@ -41,5 +41,6 @@ jobs:
             mike deploy "$REF_NAME" "latest" --push --allow-empty --ignore-remote-status --update-aliases
             mike set-default --push "latest"
           elif [ "$REF_TYPE" = "branch" ] && [ "$REF_NAME" = "master" ]; then
-            mike deploy master --push --ignore-remote-status --allow-empty
+            mike deploy master --ignore-remote-status --allow-empty
+            git push -f origin gh-pages
           fi