Skip to content

symphony-github-issues.md

Latest commit

 

History

History
81 lines (64 loc) · 3.25 KB

symphony-github-issues.md

File metadata and controls

81 lines (64 loc) · 3.25 KB
Raw

Symphony with GitHub Issues

This repository's WORKFLOW.md configures the experimental Symphony Elixir runner to dispatch selected GitHub Issues to Codex. It uses the upstream GitHub Issues adapter; no tracker extension is required.

Lifecycle

open + codex-ready
  -> Symphony dispatches Codex in an isolated workspace
  -> Codex follows the canonical delivery-orchestrator flow
       -> eligible repository delivery: branch + pull request
          -> open + human-review
          -> maintainer reviews, merges, and closes the issue
       -> non-delivery terminal state or Human Gate: no automatic PR/label change

Only issues with the codex-ready label are eligible. The agent replaces it with human-review only after opening a pull request, which prevents another agent run while a maintainer reviews the change. A Human Gate or non-delivery terminal state does not receive that label automatically; the maintainer must decide its next routing or label action. Add codex-ready again only to explicitly request rework after review.

Prerequisites

  • Install codex and authenticate it for the machine running Symphony.
  • Install gh and authenticate it for GitHub issue and pull-request operations performed by the agent.
  • Install Git, and configure SSH access that can push to git@github.com:dapi/memory-bank.git.
  • Install and authorize direnv for this repository's .envrc.
  • Provide a GitHub token for Symphony's tracker as SYMPHONY_GITHUB_TOKEN. If it is absent, .envrc uses gh auth token for the tracker. The agent continues to use its authenticated gh CLI for GitHub reads and updates.
  • Install mise; the bootstrap script installs the required Elixir/Erlang versions.

Keep the token outside the repository. After a fresh clone, create the ignored local file from the tracked template, then authorize direnv:

cp .env.local.example .env.local
direnv allow

Set SYMPHONY_GITHUB_TOKEN in the ignored .env.local; never add the literal token to a tracked file.

Run

Bootstrap the dapi/symphony fork and create this repository's ignored, project-local .symphony-workspace/ directory:

direnv allow
./bootstrap-symphony.sh
./run-symphony.sh

bootstrap-symphony.sh defaults to a sibling ../symphony checkout and the https://github.com/dapi/symphony.git fork. Override either for another local layout with SYMPHONY_HOME or SYMPHONY_REPOSITORY.

Human gates

The configured post-PR human-review label is the process gate: a maintainer reviews the pull request and decides whether to merge or request rework.

The current upstream Elixir runner does not provide a durable human-approval inbox that can send a later decision back through app-server. WORKFLOW.md therefore sets approval_policy: never: the runner can complete the Git commands required to create a branch, commit, push, and open a pull request. The configured workspace-write sandbox remains in effect, but this is still a trusted-environment setting. Do not use on-request unless a separate app-server client or a runner extension will collect the human decision and answer the pending JSON-RPC request.

Do not run this against all open issues or with broad credentials until the workflow has been evaluated in a trusted environment.