Trigger docs sync at the end of a release (#20436)

This change makes it so after a release is published we trigger docs
sync.

---------

Co-authored-by: Huon Wilson <[email protected]>

Author: thejcannon

.github/workflows/release.yaml

@@ -437,6 +437,18 @@ jobs:
       run: 'gh api -X POST "/repos/pantsbuild/wheels.pantsbuild.org/dispatches" -F
         event_type=github-pages
 
+        '
+    - env:
+        GH_TOKEN: ${{ secrets.WORKER_PANTS_PANTSBUILD_ORG_TRIGGER_PAT }}
+      if: needs.release_info.outputs.is-release == 'true'
+      name: Trigger docs sync
+      run: 'RELEASE_TAG=${{ steps.get_info.outputs.build-ref }}
+
+        RELEASE_VERSION="${RELEASE_TAG#release_}"
+
+        gh workflow run sync_docs.yml -F "version=$RELEASE_VERSION" -F "reviewer=${{
+        github.actor }}" -R pantsbuild/pantsbuild.org
+
         '
   release_info:
     if: github.repository_owner == 'pantsbuild'

src/python/pants_release/generate_github_workflows.py

@@ -1259,6 +1259,20 @@ def release_jobs_and_inputs() -> tuple[Jobs, dict[str, Any]]:
                         """
                     ),
                 },
+                {
+                    "name": "Trigger docs sync",
+                    "if": "needs.release_info.outputs.is-release == 'true'",
+                    "env": {
+                        "GH_TOKEN": "${{ secrets.WORKER_PANTS_PANTSBUILD_ORG_TRIGGER_PAT }}",
+                    },
+                    "run": dedent(
+                        """\
+                        RELEASE_TAG=${{ steps.get_info.outputs.build-ref }}
+                        RELEASE_VERSION="${RELEASE_TAG#release_}"
+                        gh workflow run sync_docs.yml -F "version=$RELEASE_VERSION" -F "reviewer=${{ github.actor }}" -R pantsbuild/pantsbuild.org
+                        """
+                    ),
+                },
             ],
         },
     }