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
Owner
No description provided.
Corentin added 1 commit 2026-06-15 15:29:48 +02:00
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
CI / secret-scan (push) Successful in 9s
CI / php-lint (push) Successful in 22s
CI / secret-scan (pull_request) Successful in 10s
CI / php-lint (pull_request) Successful in 19s
CI / static-tests (pull_request) Successful in 5s
CI / auto-merge (push) Has been skipped
CI / auto-merge (pull_request) Successful in 5s
8366d217b5
Corentin added the
auto-merge
label 2026-06-15 15:29:48 +02:00
Corentin merged commit 5581d2adea into dev 2026-06-15 15:31:49 +02:00
Corentin deleted branch ci/robust-automerge 2026-06-15 15:31:50 +02:00
Sign in to join this conversation.
No reviewers
No labels
auto-merge
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: AcadeNice/corentin_wakdo#7
No description provided.