From 2cfdbd6b5ff2c29d632eeff79a18c44e29ccd230 Mon Sep 17 00:00:00 2001
From: Laurent Destailleur <eldy@destailleur.fr>
Date: Tue, 13 Jan 2026 16:04:20 +0100
Subject: [PATCH] Try to use PR ID instead of PR url

---
 .github/workflows/pr-18.yaml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/pr-18.yaml b/.github/workflows/pr-18.yaml
index 733a3e788dc..ef651ffa8e6 100644
--- a/.github/workflows/pr-18.yaml
+++ b/.github/workflows/pr-18.yaml
@@ -41,12 +41,14 @@ jobs:
     - name: Assign Tag
       env:
         GITHUB_TOKEN: ${{ steps.generate-token.outputs.token }}
+        prid: ${{ github.event.pull_request.number }}
         url: ${{ github.event.pull_request.html_url }}
         url2: ${{ github.event.pull_request_target.html_url }}
       run: |
+        echo "env.prid=${{env.prid}}"
         echo "env.url=${{env.url}}"
         echo "env.url2=${{env.url2}}"
-        gh pr edit "${{env.url}}" --add-label "Issue for v18 maintenance Team"
+        gh pr edit "${{env.prid}}" --add-label "Issue for v18 maintenance Team"
 
     - name: Set reviewers except PR author
       id: set-reviewers
@@ -67,8 +69,9 @@ jobs:
       if: steps.set-reviewers.outputs.reviewers != ''
       env:
         GITHUB_TOKEN: ${{ steps.generate-token.outputs.token }}
+        prid: ${{ github.event.pull_request.number }}
         url: ${{ github.event.pull_request.html_url }}
         reviewers: ${{ steps.set-reviewers.outputs.reviewers }}
       run: |
         echo "Assigning reviewers: ${{env.reviewers}}"
-        gh pr edit "${{env.url}}" --add-reviewer "${{env.reviewers}}"
+        gh pr edit "${{env.prid}}" --add-reviewer "${{env.reviewers}}"