From b9e9aede5a91ec0e2e0b54bc45616c7bf2ab15b5 Mon Sep 17 00:00:00 2001
From: Eric Cui <63880964+EricCui2005@users.noreply.github.com>
Date: Thu, 7 Nov 2024 15:21:16 -0800
Subject: [PATCH] Create push-to-external-repo.yml

---
 .github/workflows/push-to-external-repo.yml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 .github/workflows/push-to-external-repo.yml

diff --git a/.github/workflows/push-to-external-repo.yml b/.github/workflows/push-to-external-repo.yml
new file mode 100644
index 0000000..5fb6ca4
--- /dev/null
+++ b/.github/workflows/push-to-external-repo.yml
@@ -0,0 +1,19 @@
+name: (main) push to external repo
+on:
+  push:
+    branches:
+      - main
+jobs:
+  push-to-external-repo:
+    runs-on: ubuntu-latest
+    steps:
+      - name: checkout repository
+        uses: actions/checkout@v3
+      - name: push to external repository
+        uses: peaceiris/actions-gh-pages@v3
+        with:
+          deploy_key: ${{ secrets.SSH_DEPLOY_KEY }}
+          publish_dir: .
+          external_repository: EricCui2005/Stanford-ACM
+          publish_branch: main
+          allow_empty_commit: true