Add deploy to gh-pages

Author: Karang

.github/workflows/ci.yml

@@ -22,4 +22,35 @@ jobs:
       with:
         node-version: ${{ matrix.node-version }}
     - run: npm install
-    - run: npm test
+    - run: npm test
+  DeployPages:
+    runs-on: ubuntu-latest
+    if: ${{ github.event_name == 'push' }}
+    steps:
+      - name: Checkout 🛎️
+        uses: actions/[email protected] # If you're using actions/checkout@v2 you must set persist-credentials to false in most cases for the deployment to work correctly.
+        with:
+          persist-credentials: false
+      - name: Edit config
+        run: >
+          sed -i -E 's/^  "defaultProxy": ""/  "defaultProxy": "pproxy.rom1504.fr:443"/g' config.json
+      - name: Build
+        run: |
+          npm install
+          cp -R public/ ../
+          git checkout -b gh-pages
+          rm -Rf ./*
+          rm -Rf .github .gitignore .gitpod .gitpod.DockerFile .npmignore .npmrc
+          cp -R ../public/* ./
+      - name: Create commits
+        run: |
+          git config user.name 'rom1504bot'
+          git config user.email '[email protected]'
+          git add --all
+          git commit --amend -m "Update gh-pages"
+      - name: Deploy 🚀
+        uses: ad-m/github-push-action@master
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          branch: gh-pages
+          force: true