PR: troubleshooting the PR not being created

This commit is contained in:
XargonWan 2024-11-06 11:16:44 +09:00
parent c1a8c1a5e5
commit 11fd9b62fd

View file

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