ci: re-run the PR-title lint on every push - #129

Merged

oc-tmueller merged 2 commits into

mainfrom

ci/lint-pr-title-on-synchronize

Sep 16, 2026

Commits on Sep 16, 2026

ci: re-run the PR-title lint on every push

oc-tmueller
and
claude
committed
5a17830
ci: empty commit to prove the synchronize trigger fires

oc-tmueller
and
claude
committed
c10aef4