Merge pull request #1389 from nschonni/skip-empty-official-image-PR

chore: Don't comment on PR for no-op
2020-11-02 18:58:02 -05:00 · 2020-11-02 18:58:02 -05:00 · 482be82021
parent 8adaf61665 ca3217a6e4
commit 482be82021
1 changed files with 1 additions and 0 deletions
--- a/.github/workflows/official-pr.yml
+++ b/.github/workflows/official-pr.yml
@ -59,6 +59,7 @@ jobs:

      - name: Create PR comment
        uses: peter-evans/create-or-update-comment@v1
+        if: ${{ steps.create-pr.outputs.pull-request-url != '' }}
        with:
          issue-number: ${{ github.event.pull_request.number }}
          body: |