Merge pull request #3855 from element-hq/changelog-labels

Reconfirm that a PR has a changelog label when new commits are pushed
This commit is contained in:
Robin
2026-04-08 16:00:07 +02:00
committed by GitHub

View File

@@ -5,7 +5,7 @@ on:
# This is safe because we do not use actions/checkout or execute untrusted code.
# Using pull_request_target is necessary to allow status writes for PRs from forks.
pull_request_target:
types: [labeled, unlabeled, opened]
types: [labeled, unlabeled, opened, synchronize]
permissions:
pull-requests: read