v1.0.0 - #42

Merged

leogdion merged 8 commits into

mainfrom

v1.0.0-integration

Jul 25, 2026

Commits on Jul 25, 2026

Remove the `clean` subcommand from v1.0.0 (#35)
leogdion
authored
17a21e1
Fix five defects in `git-trees` (#36)
leogdion
authored
15bb7df
Document that `add` writes to the remote, and add `--no-push` (#37)
leogdion
authored
5a1b941
Docs: quickstart that works, a concepts primer, and honest install docs (#38)
leogdion
authored
8794b48
CI: test the failure modes, not just the happy paths (#39)
leogdion
authored
c58e263
Add a CHANGELOG, pin the install URL to the tag, drop `lint.yml` (#40)
leogdion
authored
d3e5c11
Drop pre-v1.0 archaeology ahead of the history wipe (#43)
leogdion
authored
b6c62fa
Address CodeRabbit findings before v1.0.0 merge (#44)
leogdion
authored
fc9733b