github_workflows: clean up workflow

- rename workflow file to better reflect current state
- only deploy on push event (Fixes #1742)

PiperOrigin-RevId: 698950685

.github/workflows/build-mkdocs-commit-html.yml → .github/workflows/continuous-docs-deployment.yml

@@ -41,6 +41,7 @@ jobs:
     runs-on:
       labels: ubuntu-22.04-4core
     needs: build
+    if: github.event_name == 'push'
     steps:
       - name: Deploy to GitHub Pages
         id: deployment