PR: troubleshooting the PR not being created

This commit is contained in:
XargonWan 2024-11-08 10:55:37 +09:00
parent 948f91e081
commit 0cb68766c5

View file

@ -68,7 +68,7 @@ jobs:
# Fetch changes from the upstream repository without merging # Fetch changes from the upstream repository without merging
git fetch "${{ env.UPSTREAM_REPO }}" "${{ env.TARGET_BRANCH }}" git fetch "${{ env.UPSTREAM_REPO }}" "${{ env.TARGET_BRANCH }}"
git pull "${{ env.UPSTREAM_REPO }}" "${{ env.TARGET_BRANCH }}" git merge "${{ env.UPSTREAM_REPO }}/$TARGET_BRANCH" --no-ff || true
git diff git diff