From e554f9536b3700a175086a9068febe6683d6eb0f Mon Sep 17 00:00:00 2001
From: ksurl <ksurl@users.noreply.github.com>
Date: Sun, 22 Jan 2023 20:51:46 -0800
Subject: [PATCH] Mkdocs deploy (#2506)

* switch to github actions for mkdocs deploy

* fix mkdocs gh-deploy
---
 .github/workflows/mkdocs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/mkdocs.yml b/.github/workflows/mkdocs.yml
index 49929f342..2351e4363 100644
--- a/.github/workflows/mkdocs.yml
+++ b/.github/workflows/mkdocs.yml
@@ -25,4 +25,4 @@ jobs:
           echo "mkdocs_version=$mkdocs" >> $GITHUB_ENV
 
       - name: Build and push site
-        run: mkdocs gh-deploy --message "Deployed ${{ github.sha }} with MkDocs version ${{ env.mkdocs_version }}. [skip ci]"
+        run: mkdocs gh-deploy --message "Deployed ${{ github.sha }} with MkDocs version ${{ env.mkdocs_version }}. [skip ci]" --force