From 163af5e98013e539b52e51e5d36800373b7a1367 Mon Sep 17 00:00:00 2001
From: David Van Horn <dvanhorn@cs.umd.edu>
Date: Sun, 28 Jan 2024 09:56:38 -0500
Subject: [PATCH] Try to get push action to deploy to GH pages.

---
 .github/workflows/push.yml | 26 ++++++++++----------------
 1 file changed, 10 insertions(+), 16 deletions(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index d26695cd..483e86e1 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -35,21 +35,15 @@ jobs:
         path: www/main
   deploy:
     needs: build-and-test
-    runs-on: ubuntu-latest
+    permissions:
+      pages: write
+      id-token: write
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    runs-on: ubuntu-latest    
     if: github.ref == 'refs/heads/main'
     steps:
-    - name: Download www
-      uses: actions/download-artifact@v2
-      with:
-        name: www
-        path: cmsc430
-    - name: Deploy to web
-      uses: plum-umd/github-actions-rsync@master
-      with:
-        RSYNC_OPTIONS: -rvzp
-        RSYNC_TARGET: /fs/www/class/fall2022/
-        RSYNC_SOURCE: cmsc430
-      env:
-        SSH_PRIVATE_KEY: ${{secrets.SSH_PRIVATE_KEY}}
-        SSH_USERNAME: ${{secrets.SSH_USERNAME}}
-        SSH_HOSTNAME: ${{secrets.SSH_HOSTNAME}}
+    - name: Deploy to GitHub pages
+      id: deployment
+      uses: actions/deploy-pages@v4