Merge pull request #2192 from habibayassin/pr-update-rules

gha: update rules rename push ref
The-OpenROAD-Project · Jul 25, 2024 · 2ed8e05 · 2ed8e05
2 parents d87f5b9 + 4a46939
commit 2ed8e05
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/github-actions-update-rules.yml b/.github/workflows/github-actions-update-rules.yml
@@ -53,7 +53,7 @@ jobs:
         name: update rules pr
         id: remote-update-pr
         run: |
-          git push origin "refs/pull/${{ github.event.client_payload.branch }}/head"
+          git push origin "HEAD:refs/pull/${{ github.event.client_payload.branch }}/head"
       - if: "steps.remote-update.outputs.has_update == 'true' && github.event.client_payload.branch == 'master'"
         name: Create Draft PR
         uses: peter-evans/create-pull-request@v5