ci: avoid duplicate post-merge acceptance #6

Merged
Jens merged 2 commits from codex/no-duplicate-post-merge into master 2026-08-29 07:09:15 +00:00
Owner

Removes the redundant master-push trigger. The protected PR gate remains mandatory, so each change is fully validated once before merge and is not repeated after merge.

Removes the redundant master-push trigger. The protected PR gate remains mandatory, so each change is fully validated once before merge and is not repeated after merge.
Jens added 1 commit 2026-08-29 07:04:48 +00:00
ci: avoid duplicate post-merge acceptance
MobilityOps acceptance / acceptance (pull_request) Canceled after 2m0s
4b727a109f
Jens added 1 commit 2026-08-29 07:07:43 +00:00
ci: keep workflow-only pull requests lightweight
MobilityOps acceptance / acceptance (pull_request) Successful in 26s
d6a566e1a1
Jens merged commit 51c3c90fa1 into master 2026-08-29 07:09:15 +00:00
Jens deleted branch codex/no-duplicate-post-merge 2026-08-29 07:09:16 +00:00
Sign in to join this conversation.