//! GitHub for every project under `$PRJ`, mirrored once per machine.
//!
//! * [`client`] speaks GitHub: REST, and GraphQL for Projects boards.
//! * [`mirror`] is the machine's copy, in `$PRJ/.state/github.db`, shared by
//! every process.
//! * [`targets`] and [`checkout`] say what every project has on GitHub:
//! its worktrees' repositories and commits, and the boards it references
//! ([`boards`]).
//! * [`sync`] keeps the mirror current; [`service`] is everything a person
//! does — reads from the mirror, writes through GitHub.
//! * [`cli`] is `wsb github`.
//!
//! The token is the GitHub CLI's login, else `GITHUB_TOKEN` ([`token`]).
pub use ;
pub use ;
pub use ;