PR: troubleshooting the PR not being created

This commit is contained in:
XargonWan 2024-11-06 09:56:59 +09:00
parent eab5f80f3b
commit 3e009f583f

View file

@ -78,9 +78,8 @@ jobs:
fi fi
# Check if any changes were introduced by the merge # Check if any changes were introduced by the merge
if [ -z "$(git diff --stat)" ]; then if git diff --exit-code "origin/${{ env.TARGET_BRANCH }}"; then
echo "No changes detected after merging. Exiting." echo "No changes detected after merging. Exiting."
exit 0
fi fi
- name: Push changes to new branch - name: Push changes to new branch
@ -88,6 +87,7 @@ jobs:
run: | run: |
git push origin "${{ env.BRANCH_NAME }}" git push origin "${{ env.BRANCH_NAME }}"
- name: Create Pull Request - name: Create Pull Request
if: success() if: success()
uses: peter-evans/create-pull-request@v7.0.5 uses: peter-evans/create-pull-request@v7.0.5