Skip to content
Machine Behavior

ADR-0011: A public ticket board from GitHub Issues

Context

The backlog from the platform review needed one public system of record that agent sessions and readers can both use.

Decision

Work items are GitHub Issues on the public repository, shown on the board. The deploy job writes inside/board/issues.json (scripts/board_snapshot.py), and the workflow gains issues: read but no issues trigger.

Consequences

The board is as fresh as the last deploy. Only issues with a type label are shown, so a new report waits for triage before its text appears. An issues trigger would let anyone start a gate run and a deploy. See Ticket board.

Built from scripts/docs by build_docs.py.