From ecc9a73df406acefae73eab5a3fce6d68dbb6b98 Mon Sep 17 00:00:00 2001
From: Dalton Hubble <dghubble@gmail.com>
Date: Thu, 25 May 2023 09:18:34 -0700
Subject: [PATCH] Add a GitHub Workflow to push to GitHub Pages

* Automatically push to GitHub pages when the release-docs
branch is updated
---
 .github/workflows/publish.yaml | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 .github/workflows/publish.yaml

diff --git a/.github/workflows/publish.yaml b/.github/workflows/publish.yaml
new file mode 100644
index 00000000..aee112ae
--- /dev/null
+++ b/.github/workflows/publish.yaml
@@ -0,0 +1,30 @@
+name: publish
+on:
+  push:
+    branches:
+      - release-docs
+permissions:
+  contents: write
+jobs:
+  publish:
+    name: publish
+    runs-on: ubuntu-latest
+    steps:
+      # Checkout repo to GitHub Actions runner
+      - name: Checkout
+        uses: actions/checkout@v3
+
+      # Install Python
+      - name: Setup Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: 3.x
+
+      # Install PyPI packages
+      - name: Dependencies
+        run: pip install -r requirements.txt
+
+      # Push to GitHub Pages
+      - name: Push Docs
+        run: |
+          mkdocs gh-deploy --force