From bb7d8ca8467957097a1449f98ebbbd0341d06e91 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Timoth=C3=A9e=20Mazzucotelli?= Date: Thu, 13 Jun 2024 18:59:03 +0200 Subject: [PATCH] chore: Force push docs --- duties.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/duties.py b/duties.py index 1c8faa0..4a2b922 100644 --- 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", )