2 files for GitHub Copilot, Codex and OpenCode: -https-github.com-DietrichGebert-ponytail copilot-instructions.md, -https-github.com-DietrichGebert-ponytail AGENTS.md — 1,117 tokens loaded in every session.
.github/copilot-instructions.md A 548 tok AGENTS.md A 569 tok These files are porchetthub/-https-github.com-DietrichGebert-ponytail's own configuration — they tell GitHub Copilot, Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.