Merge pull request #1267 from SpiNNakerManchester/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.3

Bump JamesIves/github-pages-deploy-action from 4.7.2 to 4.7.3

Author: rowleya

.github/workflows/publish.yml

@@ -59,7 +59,7 @@ jobs:
           cp -vaT $ROOT_DOC_DIR $DEPLOY_DIR
           cp -vaT $C_DOC_DIR $DEPLOY_DIR/c
       - name: Deploy to GitHub Pages
-        uses: JamesIves/github-pages-deploy-action@v4.7.2
+        uses: JamesIves/github-pages-deploy-action@v4.7.3
         with:
           branch: gh-pages
           folder: ${{ env.DEPLOY_DIR }}