don't append changelog PR to unrelated release

2026-05-07 15:15:24 +00:00 · 2023-03-05 16:36:24 +01:00
parent db9733f0d5
commit 248f3f2181
1 changed files with 1 additions and 1 deletions
@@ -588,5 +588,5 @@ jobs:
              owner,
              repo,
              issue_number: result.data.number,
-              labels: ['documentation']
+              labels: ['documentation', 'skip-changelog']
            });