don't append changelog PR to unrelated release

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7255d1d9f25a9d4695405c020d4a594b0e5b7bf4..29f97c28881ba49e4a5cafc3e5b809d4e3424bd0 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -588,5 +588,5 @@ jobs:
               owner,
               repo,
               issue_number: result.data.number,
-              labels: ['documentation']
+              labels: ['documentation', 'skip-changelog']
             });