Repository navigation

maintain/ipickering/rename to bblean - #25

Merged

IgnacioJPickering merged 4 commits into

mainfrom

maintain/ipickering/rename-to-bblean

Sep 15, 2025

Merged

maintain/ipickering/rename to bblean#25
IgnacioJPickering merged 4 commits into
mainfrom
maintain/ipickering/rename-to-bblean

Commits on Sep 15, 2025
- Rename to bblean
  IgnacioJPickering
  committed
  2da0b47
- Fix hooks
  IgnacioJPickering
  committed
  d6e5e22
- flake
  IgnacioJPickering
  committed
  6bb1be2
- Update Tools -> Lean
  IgnacioJPickering
  committed
  4b2160e