From e6cb4feff925696db2135342b9cd5a907d8f5903 Mon Sep 17 00:00:00 2001 From: Henry Mercer Date: Tue, 5 Sep 2023 16:36:41 +0200 Subject: [PATCH] Improve usability of update dependencies workflow --- .github/workflows/update-dependencies.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/update-dependencies.yml b/.github/workflows/update-dependencies.yml index f854f85e2e..bd46fae4d4 100644 --- a/.github/workflows/update-dependencies.yml +++ b/.github/workflows/update-dependencies.yml @@ -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