chore: Set up PR branch/repository for push

HaiyiMei · Jun 28, 2024 · 4853bc4 · 4853bc4
1 parent 3ffe521
commit 4853bc4
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -87,13 +87,13 @@ jobs:
           python -m xrfeitoria.utils.publish_plugins update-plugin-info
           echo "::endgroup::"
 
-          # echo "::group::Set to PR branch/repository"
-          # REPO_OWNER=${{ github.event.pull_request.head.repo.owner.login }}
-          # REPO_NAME=${{ github.event.pull_request.head.repo.name }}
-          # BRANCH_NAME=${{ github.event.pull_request.head.ref }}
-          # GIT_URL="github.com/${REPO_OWNER}/${REPO_NAME}.git"
-          # echo "Pushing to $GIT_URL"
-          # echo "::endgroup::"
+          echo "::group::Set to PR branch/repository"
+          REPO_OWNER=${{ github.event.pull_request.head.repo.owner.login }}
+          REPO_NAME=${{ github.event.pull_request.head.repo.name }}
+          BRANCH_NAME=${{ github.event.pull_request.head.ref }}
+          GIT_URL="github.com/${REPO_OWNER}/${REPO_NAME}.git"
+          echo "Pushing to $GIT_URL"
+          echo "::endgroup::"
 
           echo "::group::Commit and push"
           git add .