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