PR: troubleshooting the PR not being created

This commit is contained in:
XargonWan 2024-11-06 10:37:41 +09:00
parent 7a64e1b4d1
commit 0d5712524f

View file

@ -30,6 +30,7 @@ jobs:
git config --global protocol.file.allow always git config --global protocol.file.allow always
git config --global user.name "Rekku" git config --global user.name "Rekku"
git config --global user.email "rekku@retrodeck.net" git config --global user.email "rekku@retrodeck.net"
git config --global pull.rebase false
- name: Set default values for UPSTREAM_REPO and TARGET_BRANCH if not set - name: Set default values for UPSTREAM_REPO and TARGET_BRANCH if not set
run: | run: |
@ -62,6 +63,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 diff git diff