GitHub / htzh issue stats
Total issues: 11
Total pull requests: 1
Merged pull request: 0
Average time to close issues: 5 months
Average time to close pull requests: N/A
Average comments per issue: 4.36
Average comments per pull request: 1.0
Issues created
- leanprover/tutorial: 4
- prompt-toolkit/pyvim: 3
- lpcic/elpi: 1
- deducteam/lambdapi: 1
- digama0/mmj2: 1
- rhysd/NyaoVim: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (11, 100.00%)
Pull Request Author Associations
- None (1, 100.00%)
Top Issue Labels
- enhancement (2)
- vscode (1)