MNT Fixes doc building on PR (#23508)

thomasjpfan · glemaitre · commit 86bae72828cb · 2022-08-05T14:58:55.000+02:00
diff --git a/.github/workflows/trigger-hosting.yml b/.github/workflows/trigger-hosting.yml
@@ -23,4 +23,6 @@ jobs:
           EVENT: ${{ github.event.workflow_run.event }}
           RUN_ID: ${{ github.event.workflow_run.id }}
           HEAD_BRANCH: ${{ github.event.workflow_run.head_branch }}
-          PULL_REQUEST_NUMBER: ${{ github.event.workflow_run.pull_requests[0].number }}
+          COMMIT_SHA:  ${{ github.event.workflow_run.head_sha }}
+          REPO_NAME:  ${{ github.event.workflow_run.head_repository.full_name }}
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
diff --git a/build_tools/github/trigger_hosting.sh b/build_tools/github/trigger_hosting.sh
@@ -7,6 +7,11 @@ GITHUB_RUN_URL=https://nightly.link/$GITHUB_REPOSITORY/actions/runs/$RUN_ID
 
 if [ "$EVENT" == pull_request ]
 then
+     PULL_REQUEST_NUMBER=$(curl \
+          -H "Accept: application/vnd.github.v3+json" \
+          -H "Authorization: token $GITHUB_TOKEN" \
+          https://api.github.com/repos/$REPO_NAME/commits/$COMMIT_SHA/pulls 2>/dev/null \
+          | jq '.[0].number')
      BRANCH=pull/$PULL_REQUEST_NUMBER/head
 else
      BRANCH=$HEAD_BRANCH
