Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / whonore issue stats
Total issues: 22
Total pull requests: 99
Merged pull request: 95
Average time to close issues: about 1 month
Average time to close pull requests: 10 days
Average comments per issue: 2.23
Average comments per pull request: 0.73
Issues created
Pull requests created
- whonore/Coqtail: 71
- tweekmonster/helpful.vim: 4
- whonore/lithp: 3
- sifive/kami: 3
- mellowcandle/bitwise: 3
- whonore/vim-sentencer: 2
- whonore/imageevolver: 2
- joom/latex-unicoder.vim: 2
- tomtomjhj/coq.ctags: 1
- phfaist/pylatexenc: 1
- tox-dev/platformdirs: 1
- whonore/clocks: 1
- whonore/peridot: 1
- MystenLabs/awesome-move: 1
- litl/backoff: 1
- whonore/asciime: 1
- whonore/dotfiles: 1
Maintainer
Active Maintainer
- whonore/Coqtail: 15
Issue Author Associations
- None (15, 68.18%)
- Owner (5, 22.73%)
- Contributor (2, 9.09%)
Pull Request Author Associations
- Owner (82, 82.83%)
- Contributor (15, 15.15%)
- None (2, 2.02%)
Top Issue Labels
- kind: bug (9)
- priority: not yet (4)
- during 2: compilation of correct program (3)
- during 1: program development (3)
- part: resolver (3)
- good first issue (2)
- indentation (2)
- highlighting (2)
- help wanted (2)
- enhancement (2)
- priority: next (2)
- part: verifier (2)
- incompleteness (2)
- kind: enhancement (2)
- bug (1)