Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 40 million developers.
Sign up- Berlin
- https://sink.io
Popular repositories
1,783 contributions in the last year
Activity overview
Contribution activity
February 2020
- [WIP] treesitter: add standard &rtp/treesitter/parser/ search path for parsers
- [WIP] win/TUI: Use virtual terminal input if available
- Implement ACL
- checkhealth: Improve virtualenv check
- vim-patch:8.1.0619
- vim-patch:8.1.{140,1269},8.2.0161
- extmark: fix crash due to invalid column values in inccommand preview