GitHub / LPCIC / coq-elpi issue stats
Last synced: 4 days ago
Total issues: 73
Total pull requests: 285
Average time to close issues: 4 months
Average time to close pull requests: 27 days
Total issue authors: 23
Total pull request authors: 24
Average comments per issue: 2.79
Average comments per pull request: 1.63
Merged pull requests: 231
Bot issues: 0
Bot pull requests: 0
Past year issues: 33
Past year pull requests: 169
Past year average time to close issues: 18 days
Past year average time to close pull requests: 7 days
Past year issue authors: 15
Past year pull request authors: 20
Past year average comments per issue: 4.33
Past year average comments per pull request: 1.53
Past year merged pull requests: 143
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/LPCIC%2Fcoq-elpi
Issue Author Associations
- Contributor (45, 61.64%)
- None (17, 23.29%)
- Collaborator (8, 10.96%)
Pull Request Author Associations
- Contributor (180, 63.16%)
- Collaborator (96, 33.68%)
- None (5, 1.75%)
Top Issue Authors
- gares (28)
- Tragicus (6)
- patrick-nicodemus (5)
- trilis (4)
- Janno (3)
- CohenCyril (3)
- MSoegtropIMC (2)
- eponier (2)
- ejgallego (2)
- FissoreD (2)
- SnarkBoojum (1)
- rlepigre (1)
- glondu (1)
- hivert (1)
- rtetley (1)
Top Pull Request Authors
- gares (73)
- SkySkimmer (41)
- proux01 (34)
- FissoreD (29)
- ejgallego (22)
- ppedrot (16)
- herbelin (11)
- Tragicus (9)
- rlepigre (7)
- vbgl (6)
- CohenCyril (6)
- patrick-nicodemus (5)
- maximedenes (5)
- eponier (3)
- Janno (3)
All Maintainers
- SkySkimmer (42)
- FissoreD (31)
- ppedrot (16)
- CohenCyril (9)
- eponier (5)
- ecranceMERCE (1)
Active Maintainers
- FissoreD (17)
- SkySkimmer (17)
- ppedrot (6)
- eponier (4)
- CohenCyril (2)
Top Issue Labels
- enhancement (2)
- bug (1)
Top Pull Request Labels
- TC override (1)