From 6a3176a55ba1b586a98a0f72ff515be462ac5602 Mon Sep 17 00:00:00 2001 From: Antonio SJ Musumeci Date: Fri, 9 May 2025 21:47:21 -0500 Subject: [PATCH] Try force push --- .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