Add automatic updating

.github/workflows/update_website.yaml

@@ -0,0 +1,21 @@
+name: Update website
+
+on:
+  workflow_dispatch: {}
+  push:
+    branches: [ "master" ]
+
+jobs:
+  update:
+    runs-on: ubuntu-latest
+    steps:
+    - name: Checkout
+      uses: actions/checkout@v3
+
+    - name: Install dependencies
+      run: |
+        pip3 install websocket-client
+
+    - name: Update site
+      run: |
+        python3 update.py {{ secrets.ION_CSRF_TOKEN }} {{ secrets.ION_SESSION_ID }}

update.py

@@ -0,0 +1,15 @@
+from websocket import WebSocket
+import sys
+
+conn = WebSocket()
+conn.connect("wss://director.tjhsst.edu/sites/399/terminal/?", cookie=f"csrftoken={sys.argv[1]};sessionid={sys.argv[2]}")
+if 'true' not in conn.recv():
+    print("Could not connect")
+    exit(1)
+
+conn.send_bytes(b'./update.sh\n')
+conn.recv()
+conn.recv()
+while '/site#' not in conn.recv().decode():
+    continue
+conn.close()