Merge branch 'main' into release/3.15.x

This commit is contained in:
Jakub Jezek 2022-10-26 11:54:06 +02:00
commit 6c85d113b1
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: