Skip to content

Pull requests: Julian/lean.nvim

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

[pre-commit.ci] pre-commit autoupdate
#538 opened Jul 27, 2026 by pre-commit-ci Bot Loading…
Bump zizmorcore/zizmor-action from 0.5.7 to 0.6.0 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#537 opened Jul 27, 2026 by dependabot Bot Loading…
Bump actions/checkout from 7.0.0 to 7.0.1 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#536 opened Jul 27, 2026 by dependabot Bot Loading…
optional abbreviations on hover
#535 opened Jul 21, 2026 by u66u Loading…
Preserve stale goal state while processing
#485 opened Mar 16, 2026 by valeratrades Loading…
Only bind mappings if they're not already used
#477 opened Feb 20, 2026 by danebidev Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.