Merge branch 'main' into develop

This commit is contained in:
Jakub Jezek 2022-10-26 11:54:34 +02:00
commit 61ff4253bd
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]
types: [opened, reopened, edited, synchronize]
jobs:
run_if_release: