gonzalo_ticket_github/lib.rs
1//! GitHub issue connector for gonzalo's ticket layer.
2//!
3//! Implements [`gonzalo_ticket::TicketSource`] over the GitHub REST API,
4//! mapping issues to the canonical [`gonzalo_domain::Ticket`] (ADR 0010). The
5//! mapping ([`mapping`]) is pure and fixture-tested; [`GitHubSource`] is the
6//! thin HTTP layer. Read-only in phase 1.
7
8mod mapping;
9mod project_mapping;
10mod project_source;
11mod source;
12
13pub use project_source::GitHubProjectSource;
14pub use source::GitHubSource;