chore: Add mirror repo sync workflow (#1843)

* Use wei/git-sync to sync mirror repo's main with public repo's main. * SSH key unnecessary for public source repo; update GIT_SYNC_SOURCE_REPO to https link as well. --------- Co-authored-by: Sichan Yoo <[email protected]>
awslabs · Dec 12, 2024 · 9250364 · 9250364
1 parent 6102710
commit 9250364
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/.github/workflows/repo-sync.yml b/.github/workflows/repo-sync.yml
@@ -0,0 +1,20 @@
+name: Sync Mirror
+
+on:
+  push:
+    branches: [ main ]
+  workflow_dispatch:
+
+jobs:
+  git-sync:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: git-sync
+        uses: wei/git-sync@v3
+        with:
+          source_repo: ${{ secrets.GIT_SYNC_SOURCE_REPO }}
+          source_branch: "main"
+          destination_repo: ${{ secrets.GIT_SYNC_DESTINATION_REPO }}
+          destination_branch: "main"
+          destination_ssh_private_key:  ${{ secrets.GIT_SYNC_DESTINATION_SSH_PRIVATE_KEY }}