PR: troubleshooting the PR not being created

This commit is contained in:
XargonWan 2024-11-06 11:04:02 +09:00
parent c9ba287da5
commit c1a8c1a5e5

View file

@ -66,9 +66,7 @@ jobs:
git diff git diff
echo "GIT_DIFF<<EOF" >> $GITHUB_ENV echo "GIT_DIFF=$git diff" >> $GITHUB_ENV
git diff >> $GITHUB_ENV
echo "EOF" >> $GITHUB_ENV
- name: Push changes to new branch - name: Push changes to new branch
if: success() if: success()