Update GitHub Actions workflow

.github/workflows/render.yaml

@@ -66,6 +66,10 @@ jobs:
     needs: pkgdown
     env:
       GITHUB_PAT: ${{ secrets.TOKEN }}
+      USER: ${{ secrets.DEPLOY_USER }}
+      SERVER: ${{ secrets.DEPLOY_HOST }}
+      REPO: ${{ secrets.DEPLOY_REPOSITORY }}
+      KEY: ${{ secrets.SSH_PRIVATE_KEY }}
     steps:
       - uses: actions/checkout@v4
 
@@ -84,10 +88,20 @@ jobs:
         with:
           path: _site
 
-      - name: Deploy to GitHub pages 🚀
-        if: github.event_name != 'pull_request'
-        uses: JamesIves/[email protected]
-        with:
-          clean: true
-          branch: gh-pages
-          folder: _site
+      - name: Deploy
+        run: |
+          ## Create the SSH directory and give it the right permissions
+          mkdir -p ~/.ssh
+          chmod 700 ~/.ssh
+          ## Add the SSH key
+          echo "${KEY}" > ~/.ssh/id_rsa
+          chmod 600 ~/.ssh/id_rsa
+          ## Use ssh-keyscan to scan the keys of the server
+          ssh-keyscan -H ${HOST} >> ~/.ssh/known_hosts
+          chmod 644 ~/.ssh/known_hosts
+          ## Push
+          git remote -v | grep -w production || git remote add production ssh+git://${USER}@${HOST}/${REPO}
+          git push -f production master
+          ssh ${USER}@${HOST} deploy ${REPO}
+          ssh ${USER}@${HOST} clean ${REPO}
+