From 058fe72d5608bed739754fdf05a946d03f95c03c Mon Sep 17 00:00:00 2001
From: Casper da Costa-Luis <tqdm@cdcl.ml>
Date: Sun, 19 Sep 2021 16:26:02 +0100
Subject: [PATCH] docs: streamline deployment

---
 .github/workflows/post-release.yml | 19 ++++++++++---------
 1 file changed, 10 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/post-release.yml b/.github/workflows/post-release.yml
index 28308c82..10eebc85 100644
--- a/.github/workflows/post-release.yml
+++ b/.github/workflows/post-release.yml
@@ -38,12 +38,13 @@ jobs:
         git commit -a -m "update release notes to ${GITHUB_REF#refs/tags/}"
         git push
         popd
-    - name: Update Docs
-      run: |
-        pushd docs
-        git fetch --depth=1 origin gh-pages:gh-pages
-        git checkout gh-pages
-        git push --set-upstream origin gh-pages
-        git checkout -
-        make deploy
-        popd
+    - run: make -C docs build
+    - if: ${{ github.event_name == 'push' && startsWith(github.ref, 'refs/tags') }}
+      uses: casperdcl/push-dir@v1
+      with:
+        message: update static site
+        branch: gh-pages
+        dir: docs/build/docs/_site
+        nojekyll: true
+        name: tqdm[bot]
+        email: 68520887+tqdm-bot@users.noreply.github.com