Pinned
7,957 contributions in the last year
Less
More
Activity overview
Contribution activity
August 2021
Created 755 commits in 11 repositories
Created 1 repository
Created a pull request in ms-jpq/coq_nvim that received 1 comment
Opened 32 other pull requests in 4 repositories
ms-jpq/coq_nvim
21
merged
- Pr 53
- better locking
- more cancellable
- race condition
- suppress nvim error
- Typos
- try always comp
- disable flickering
- added better warnings for novenv
- do not load snippets if not required
- add autostart as an option
- fix sqlite TRUE <> 1
- utf8 on windows
- t9 download tmp path
- lower sqlite ver
- remove generated columns
- added silent COQnow
- packer needs to work
- fix utf8 decode
- update_artifacts: 2021-08-02_01-17-25
- update_artifacts: 2021-08-02_01-00-15
ms-jpq/coq.artifacts
3
merged
ms-jpq/sad
1
merged
Reviewed 2 pull requests in 1 repository
ms-jpq/coq_nvim
2 pull requests
455
contributions
in private repositories
Aug 1 – Aug 18