Improve usability of update dependencies workflow

This commit is contained in:
Henry Mercer
2023-09-05 16:36:41 +02:00
parent 07d42ec34e
commit e6cb4feff9

View File

@@ -34,4 +34,8 @@ jobs:
git add node_modules
git commit -am "Update checked-in dependencies"
git push origin "HEAD:$BRANCH"
echo "Pushed a commit to update the checked-in dependencies." \
"Please mark the PR as ready for review to trigger PR checks." |
gh pr comment --body-file - --repo github/codeql-action --pr "${{ github.event.pull_request.number }}"
gh pr ready --undo --repo github/codeql-action --pr "${{ github.event.pull_request.number }}"
fi