chore: Force push docs

pawamoy · Jun 13, 2024 · bb7d8ca · bb7d8ca
1 parent fcd3308
commit bb7d8ca
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/duties.py b/duties.py
@@ -126,7 +126,7 @@ def docs_deploy(ctx: Context) -> None:
         if not insiders:
             ctx.run(lambda: False, title="Not deploying docs without Material for MkDocs Insiders!")
         ctx.run(
-            tools.mkdocs.gh_deploy(),
+            tools.mkdocs.gh_deploy(force=True),
             title="Deploying documentation",
         )