ci: allow manual trigger of apply on main #48

Merged
benvin merged 1 commits from benvin/apply-manual-trigger into main 2026-09-19 23:36:36 +10:00
Member

A dropped Gitea webhook left a merge to main with no apply pipeline, and it could not be replayed: API-created pipelines are stamped event: manual, which the push-only when: block filters out.

  • add event: manual on branch: main to the apply pipeline trigger
  • keep the existing event: push, branch: main trigger unchanged

Manual stays pinned to main so a deliberate re-run can never apply an unmerged feature branch.

A dropped Gitea webhook left a merge to `main` with no apply pipeline, and it could not be replayed: API-created pipelines are stamped `event: manual`, which the push-only `when:` block filters out. - add `event: manual` on `branch: main` to the apply pipeline trigger - keep the existing `event: push, branch: main` trigger unchanged Manual stays pinned to `main` so a deliberate re-run can never apply an unmerged feature branch.
unkin-agent added 1 commit 2026-09-19 22:32:47 +10:00
ci: allow manual trigger of apply on main
ci/woodpecker/pr/plan Pipeline was successful
ci/woodpecker/pr/pre-commit Pipeline was successful
0a245e7bca
benvin merged commit b7e10718c3 into main 2026-09-19 23:36:36 +10:00
benvin deleted branch benvin/apply-manual-trigger 2026-09-19 23:36:36 +10:00
Sign in to join this conversation.