Expand description
GitHub issue connector for gonzalo’s ticket layer.
Implements [gonzalo_ticket::TicketSource] over the GitHub REST API,
mapping issues to the canonical [gonzalo_domain::Ticket] (ADR 0010). The
mapping ([mapping]) is pure and fixture-tested; GitHubSource is the
thin HTTP layer. Read-only in phase 1.
Structs§
- GitHub
Project Source - Reads issues on an org’s Projects v2 board, with their Status column mapped
to a normalized state category via [
StateMapping]. - GitHub
Source - Imports issues from a single GitHub repository.