Merge branch 'develop' into fix/#44

.github/workflows/git-push.yml

@@ -0,0 +1,30 @@
+name: git push into another repo to deploy to vercel
+
+on:
+  push:
+    branches: [develop]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    container: pandoc/latex
+    steps:
+      - uses: actions/checkout@v2
+      - name: Install mustache (to update the date)
+        run: apk add ruby && gem install mustache
+      - name: creates output
+        run: sh ./build.sh
+      - name: Pushes to another repository
+        id: push_directory
+        uses: cpina/github-action-push-to-another-repository@develop
+        env:
+          API_TOKEN_GITHUB: ${{ secrets.YEWON_GITHUB_KEY }}
+        with:
+          source-directory: 'output'
+          destination-github-username: yewoniiii
+          destination-repository-name: FrontEnd
+          user-email: ${{ secrets.YEWON_ACCOUNT_EMAIL }}
+          commit-message: ${{ github.event.commits[0].message }}
+          target-branch: main
+      - name: Test get variable exported by push-to-another-repository
+        run: echo $DESTINATION_CLONED_DIRECTORY

build.sh

@@ -0,0 +1,4 @@
+cd ../
+mkdir output
+cp -R ./FrontEnd/* ./output
+cp -R ./output ./FrontEnd/