yvgude/lean-ctx v2.9.2

on GitHub

Fixes

• Homebrew sha256 mismatch (#30) — Formula sha256 now matches actual GitHub tarball
• git push loses pipeline URLs (#31) — Shell hook now preserves remote: lines containing URLs (GitLab pipeline links, merge request URLs, GitHub PR links)
• git commit loses pre-commit hook output (#31) — Pre-commit hook output (linter results, test output) is now shown before the commit summary
• CI formatting — Fixed cargo fmt diff that caused CI failure

Install / Update

# If you have lean-ctx already:
lean-ctx update

# Or via Homebrew (once formula is updated):
brew upgrade yvgude/lean-ctx/lean-ctx

# Or via cargo:
cargo install lean-ctx

# Or via npm:
npx lean-ctx-bin

Full Changelog: v2.9.1...v2.9.2