GitHub tools
The git group lists repos, files, issues and commits, and can open an issue. It needs a GitHub token and is off by default.
- Reads use the GitHub API.
- git_create_issue changes GitHub.
- Errors show as HTTP codes.
See also:GitHub tools
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.