Skip to content

Install Evergreen Agentic Workflow#366

Merged
mrjf merged 1 commit into
mainfrom
codex/install-evergreen
Jul 2, 2026
Merged

Install Evergreen Agentic Workflow#366
mrjf merged 1 commit into
mainfrom
codex/install-evergreen

Conversation

@mrjf

@mrjf mrjf commented Jul 1, 2026

Copy link
Copy Markdown
Contributor

Summary

Installs the Evergreen Agentic Workflow for label-gated PR greenkeeping, per
githubnext/evergreen INSTALL.md.
Evergreen removes merge blockers (failing/missing/stale CI, stale branches,
conflicts) on PRs labeled evergreen. It is not a code reviewer and
never merges PRs directly.

Policy Confirmed

  • Opt-in label: evergreen (single gate; slash commands never bypass it)
  • Merge gates: Test & Lint, Playground E2E (Playwright), Build, Validate Python Examples (evaluated on current head SHA)
  • Branch update policy: merge main into behind PR branches (normal merge commit; no force-push)
  • CI/CD activation: rerun/dispatch only failing/missing/stale/blocked checks; never rerun green checks
  • Token policy: EVERGREEN_GITHUB_TOKEN for CI-triggering pushes (falls back to GITHUB_TOKEN in the trigger); engine uses existing COPILOT_GITHUB_TOKEN
  • Quota: 500 AI credits per continuous evergreen application
  • Auto-merge behavior: repo auto-merge is enabled — satisfying gates may indirectly merge a PR; accepted by maintainer. Evergreen takes no direct merge action.

Files

  • .github/workflows/evergreen-trigger.yml — deterministic PR-event trigger (dispatches the agent for open, evergreen-labeled, non-exhausted PRs)
  • .github/workflows/evergreen.md + .github/workflows/evergreen.lock.yml — orchestrator (compiled with gh aw compile)
  • .github/workflows/shared/evergreen/repo-policy.md, ci-activation.md, quota-policy.md, state-labels.md, report-template.md
  • .github/workflows/shared/skills/ — 12 vendored generic skills

Validation

  • gh aw compile (0 errors; strict lockfile generated)
  • Diff limited to Evergreen install files (unrelated recompiled workflows reverted)
  • Labels created: evergreen, evergreen-ready, evergreen-blocked, evergreen-human-needed, evergreen-exhausted

Manual Step Required

⚠️ Add the EVERGREEN_GITHUB_TOKEN repository secret (Actions → Secrets) before Evergreen runs — it is needed for pushes that trigger required CI. Until then the trigger falls back to GITHUB_TOKEN, whose pushes may not trigger CI.

After Merge

Apply the evergreen label to a real PR to let Evergreen work on its merge blockers.

Install the label-gated Evergreen PR greenkeeping workflow per
githubnext/evergreen INSTALL.md:

- .github/workflows/evergreen-trigger.yml: deterministic PR-event trigger that
  dispatches the agent only for open, evergreen-labeled, non-exhausted PRs.
- .github/workflows/evergreen.md (+ compiled .lock.yml): orchestrator that
  removes merge blockers on the current head SHA and never merges directly.
- .github/workflows/shared/evergreen/: confirmed repo policy, CI activation,
  quota, state labels, and report templates.
- .github/workflows/shared/skills/: vendored generic skills.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@mrjf mrjf merged commit d1ac573 into main Jul 2, 2026
19 checks passed
@mrjf mrjf deleted the codex/install-evergreen branch July 2, 2026 06:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant