@@ -123,9 +123,11 @@ jobs:
123123 env :
124124 VERSION_NUMBER : ${{ github.event.inputs.version_number }}
125125 GH_TOKEN : ${{ secrets.GITHUB_TOKEN }}
126+ REPO_FULL_NAME : ${{ github.repository }}
126127 working-directory : ./local_kernel
127128 run : |
128129 PR_URL=$(gh pr create \
130+ --repo "$REPO_FULL_NAME" \
129131 --base "$VERSION_NUMBER" \
130132 --head "release-prep-$VERSION_NUMBER" \
131133 --title "[AUTO][RELEASE]: Release $VERSION_NUMBER" \
@@ -135,11 +137,12 @@ jobs:
135137 - name : Wait for PR to be merged
136138 env :
137139 GH_TOKEN : ${{ secrets.GITHUB_TOKEN }}
140+ REPO_FULL_NAME : ${{ github.repository }}
138141 working-directory : ./local_kernel
139142 run : |
140143 PR_NUMBER=$(echo "$PR_URL" | grep -oE '[0-9]+$')
141144 while true; do
142- STATE=$(gh pr view "$PR_NUMBER" --json state --jq .state)
145+ STATE=$(gh pr view "$PR_NUMBER" --repo "$REPO_FULL_NAME" -- json state --jq .state)
143146 if [ "$STATE" = "MERGED" ]; then
144147 echo "PR merged successfully"
145148 break
@@ -203,7 +206,7 @@ jobs:
203206 working-directory : ./local_kernel
204207 run : |
205208 # Only delete release-prep branch if the PR was already merged
206- PR_STATE=$(gh pr list --head "release-prep-$VERSION_NUMBER" --json state --jq '.[0].state' 2>/dev/null || echo "")
209+ PR_STATE=$(gh pr list --repo "${{ github.repository }}" -- head "release-prep-$VERSION_NUMBER" --json state --jq '.[0].state' 2>/dev/null || echo "")
207210 if [ "$PR_STATE" = "MERGED" ] || [ -z "$PR_STATE" ]; then
208211 git push origin --delete "release-prep-$VERSION_NUMBER" || true
209212 else
0 commit comments