Patch Release
- fix(report):
lean-ctx report-issuenow reliably finds theghCLI binary by searching common install locations instead of relying solely on PATH - fix(report): Graceful fallback when GitHub labels don't exist yet
- fix(ci): Removed unused import causing CI failure with
-Dwarnings - feat(gain): Added
report-issuehint to rotating tips
Full changelog: https://github.com/yvgude/lean-ctx/blob/main/CHANGELOG.md
Full Changelog: v2.15.0...v2.16.1