Decisions

Small, dated records of the choices that shape lean-pkg: the context, the decision, and its consequences. Numbered, never edited after acceptance; a reversal is a new decision that supersedes the old one. Changes to the tool’s formats, commands and trust rules are designed in proposals instead.

#	Title	Date	Status
0001	Files and git only	2026-10-05	accepted
0002	Benevolent maintainer with named deputies	2026-10-05	accepted
0003	History before the public flip	2026-10-06	accepted
0004	Copyright and license confirmed by Auburn University	2026-10-08	accepted
0005	GitHub account successor until a deputy is named	2026-10-08	accepted
0006	Public flip	2026-10-08	accepted 2026-10-09 (G1 waived, G2 with residue)
0007	Design recommendations accepted on 2026-10-17	2026-10-17	accepted