PR: troubleshooting the PR not being created

This commit is contained in:
XargonWan 2024-11-06 09:51:53 +09:00
parent de28368485
commit eab5f80f3b

View file

@ -49,6 +49,8 @@ jobs:
run: | run: |
echo "Syncing from upstream repository ${{ env.UPSTREAM_REPO }} on branch ${{ env.TARGET_BRANCH }}" echo "Syncing from upstream repository ${{ env.UPSTREAM_REPO }} on branch ${{ env.TARGET_BRANCH }}"
echo "BRANCH_NAME=${BRANCH_NAME}" >> $GITHUB_ENV
# Fetch and delete the branch if it exists locally # Fetch and delete the branch if it exists locally
git fetch origin git fetch origin
if git rev-parse --verify "$BRANCH_NAME" >/dev/null 2>&1; then if git rev-parse --verify "$BRANCH_NAME" >/dev/null 2>&1; then
@ -81,8 +83,6 @@ jobs:
exit 0 exit 0
fi fi
echo "BRANCH_NAME=${BRANCH_NAME}" >> $GITHUB_ENV
- name: Push changes to new branch - name: Push changes to new branch
if: success() if: success()
run: | run: |