Tommaso Casaburi 047bb1d5ab chore(skills): drop GitHub issue/project finalization from PR workflow skills ...

GitHub Projects are no longer used in this repo. Remove issue/project
finalization from review-and-merge-pr and the project-board step from
make-closed-issue in all three toolchain mirrors, record the surprise
in known-surprises.md, and regenerate llms files.

2026-07-23 18:59:30 +07:00

..

templates

chore(ai-workflow): tighten agent workflow and worktree tooling (#1107)

2026-03-17 19:58:30 +08:00

bug-investigation.md

docs: split AGENTS.md into core policy and on-demand playbooks

2026-02-23 20:39:58 +08:00

commit-issue-format.md

docs(agent playbooks): fix stale CI references and index committed skills

2026-07-03 13:58:38 +07:00

hooks-setup.md

docs(agent playbooks): fix stale CI references and index committed skills

2026-07-03 13:58:38 +07:00

known-surprises.md

chore(skills): drop GitHub issue/project finalization from PR workflow skills

2026-07-23 18:59:30 +07:00

long-running-agent-workflow.md

chore(ai-workflow): tighten agent workflow and worktree tooling (#1107)

2026-03-17 19:58:30 +08:00

low-spec-verification.md

chore(dev): add playwright-cli low-spec throttling workflow

2026-05-30 17:29:30 +07:00

skills-and-tools.md

chore(ai workflow): add Ponytail simplicity pass

2026-07-10 15:30:55 +07:00

translations.md

docs: split AGENTS.md into core policy and on-demand playbooks

2026-02-23 20:39:58 +08:00