GitHub tools
Read-only repo tools plus issue creation.
- Takes in
- repo names
- Gives out
- text
See also:Architecture
Checked against the source at commit f4fd89f on 29 Oct 2026. Everything here is merged on the main branch; no release has been tagged yet. The source is private, so these pages are the public description.