GitHub / impermeable / coq-waterproof issue stats
Last synced: 28 days ago
Total issues: 38
Total pull requests: 170
Average time to close issues: about 2 months
Average time to close pull requests: 11 days
Total issue authors: 4
Total pull request authors: 12
Average comments per issue: 0.32
Average comments per pull request: 0.62
Merged pull requests: 144
Bot issues: 0
Bot pull requests: 0
Past year issues: 35
Past year pull requests: 109
Past year average time to close issues: 29 days
Past year average time to close pull requests: 9 days
Past year issue authors: 3
Past year pull request authors: 10
Past year average comments per issue: 0.11
Past year average comments per pull request: 0.69
Past year merged pull requests: 85
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/impermeable%2Fcoq-waterproof
Issue Author Associations
- Contributor (22, 57.89%)
- None (3, 7.89%)
Pull Request Author Associations
- Contributor (133, 78.24%)
- None (4, 2.35%)
Top Issue Authors
- pimotte (14)
- jellooo038 (7)
- jnarboux (3)
- jim-portegies (1)
Top Pull Request Authors
- jim-portegies (70)
- jellooo038 (20)
- pimotte (15)
- SkySkimmer (12)
- ejgallego (5)
- proux01 (3)
- DikieDick (3)
- ppedrot (3)
- RatCornu (2)
- rlepigre (2)
- andres-erbsen (1)
- cyborggeneraal (1)