ci: opt-in auto-merge job (label-gated, API merge on green) #7

Merged

Corentin merged 1 commit from ci/robust-automerge into dev

2026-06-15 15:31:49 +02:00

Author	SHA1	Message	Date
Imugiii	8366d217b5	ci: add opt-in auto-merge job (label-gated, merges via API on green CI) All checks were successful CI / static-tests (push) Successful in 10s Details CI / secret-scan (push) Successful in 9s Details CI / php-lint (push) Successful in 22s Details CI / secret-scan (pull_request) Successful in 10s Details CI / php-lint (pull_request) Successful in 19s Details CI / static-tests (pull_request) Successful in 5s Details CI / auto-merge (push) Has been skipped Details CI / auto-merge (pull_request) Successful in 5s Details	2026-06-15 13:29:26 +00:00