Fixed publish push by targeting explicit branch refspec

The freshly created local branch had no upstream, so a bare
'git push origin' aborted with exit 128. Push HEAD to the named
branch explicitly instead.

Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Author: fdesbiens

.github/workflows/build-and-publish.yml

@@ -55,4 +55,4 @@ jobs:
           COMMIT_MESSAGE="Publish generated html pages from ${{ github.repository }}/${{ github.ref }}@${{ github.sha }}"
           git add .
           git commit -m "${COMMIT_MESSAGE}"
-          git push origin
+          git push origin HEAD:${{ github.ref_name }}