Modify Github Action to use the remote git pull script

.github/workflows/build_and_deploy.yml

@@ -44,7 +44,7 @@ jobs:
   #   - SSH_KNOWN_HOSTS
   #   - PRIVATE_SSH_KEY
   #   - CI_USER_NAME
-  #   - STATIC_WEBSITE_PATH
+  #   - REPO_PATH_ON_REMOTE
   deploy:
     needs: [build]
     # DISCLAIMER:
@@ -83,7 +83,11 @@ jobs:
       # Upload the build to the remote server location: the volume shared by the nginx container serving http requests
       - name: 🚀 Upload
         run: |
-          rsync --archive --stats --verbose --delete ./build/blog/* ${{ secrets.CI_USER_NAME }}@iscsc.fr:${{ secrets.STATIC_WEBSITE_PATH}}
+          rsync --archive --stats --verbose --delete ./build/blog/* ${{ secrets.CI_USER_NAME }}@iscsc.fr:${{ secrets.REPO_PATH_ON_REMOTE }}/build/blog
+
+      - name: ⏬ Remote git pull
+        run: |
+          ssh ${{ secrets.CI_USER_NAME }}@iscsc.fr /usr/bin/bash ${{ secrets.REPO_PATH_ON_REMOTE }}/scripts/remote_git_pull.sh ${{ secrets.REPO_PATH_ON_REMOTE }}
 
   # Finally notify of the new article (if any) on the iScsc discord server
   # action jitterbit/get-changed-files@v1 doesn't support 'workflow_dispatch' events: https://github.com/jitterbit/get-changed-files/issues/38