pub const DEFAULT_POLL_INTERVAL: Duration;
Default poll interval. Increased from the TS reference’s 5 s to 10 s to further reduce GitHub API pressure now that batch enrichment + ETag guards handle the hot path.