milestone assign only if PR merged [closed]

This commit is contained in:
Jakub Jezek 2022-11-10 17:54:36 +01:00
parent a70a9a3ea6
commit bf76b73f24
No known key found for this signature in database
GPG key ID: 730D7C02726179A7

View file

@ -2,7 +2,7 @@ name: Milestone - assign to PRs
on:
pull_request_target:
types: [opened, reopened, edited, synchronize]
types: [closed]
jobs:
run_if_release: