don't append changelog PR to unrelated release

This commit is contained in:
tooomm 2023-03-05 16:36:24 +01:00 committed by GitHub
parent e804098b8a
commit 7269ad5df6

View File

@ -588,5 +588,5 @@ jobs:
owner,
repo,
issue_number: result.data.number,
labels: ['documentation']
labels: ['documentation', 'skip-changelog']
});