From ca3217a6e461e2744d89083a0cc0b81fd2286d90 Mon Sep 17 00:00:00 2001
From: Nick Schonning <nschonni@gmail.com>
Date: Mon, 2 Nov 2020 17:42:03 -0500
Subject: [PATCH] chore: Don't comment on PR for no-op

---
 .github/workflows/official-pr.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/official-pr.yml b/.github/workflows/official-pr.yml
index a05ded1a..74c6809e 100644
--- 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: |