PR: troubleshooting the PR not being created

This commit is contained in:
XargonWan 2024-11-06 10:54:32 +09:00
parent 133994f0b1
commit c9ba287da5

View file

@ -71,12 +71,12 @@ jobs:
echo "EOF" >> $GITHUB_ENV
- name: Push changes to new branch
if: success() && env.SKIP_PR == 'false'
if: success()
run: |
git push origin "${{ env.BRANCH_NAME }}"
- name: Create Pull Request
if: success() && env.SKIP_PR == 'false'
if: success()
uses: peter-evans/create-pull-request@v7.0.5
with:
token: ${{ steps.generate-rekku-token.outputs.token || secrets.GITHUB_TOKEN }}