Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mattam82 / Coq-Equations issue stats
Last synced: 7 days ago
Total issues: 87
Total pull requests: 164
Average time to close issues: 8 months
Average time to close pull requests: about 2 months
Total issue authors: 39
Total pull request authors: 24
Average comments per issue: 2.03
Average comments per pull request: 0.92
Merged pull requests: 141
Bot issues: 0
Bot pull requests: 0
Past year issues: 19
Past year pull requests: 36
Past year average time to close issues: 2 months
Past year average time to close pull requests: 11 days
Past year issue authors: 14
Past year pull request authors: 11
Past year average comments per issue: 0.63
Past year average comments per pull request: 0.47
Past year merged pull requests: 31
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/mattam82%2FCoq-Equations
Issue Author Associations
- None (55, 63.22%)
- Contributor (31, 35.63%)
- Owner (1, 1.15%)
Pull Request Author Associations
- Contributor (110, 67.07%)
- Collaborator (33, 20.12%)
- Owner (16, 9.76%)
- None (5, 3.05%)
Top Issue Authors
- ANogin (10)
- greenrd (10)
- anton-trunov (8)
- jad-hamza (6)
- RalfJung (5)
- Armael (3)
- MSoegtropIMC (3)
- jwiegley (3)
- thomas-lamiaux (3)
- maximedenes (2)
- fakusb (2)
- rtetley (2)
- TimRichter (2)
- spitters (2)
- yurug (2)
Top Pull Request Authors
- SkySkimmer (60)
- ppedrot (30)
- mattam82 (16)
- ejgallego (13)
- herbelin (6)
- proux01 (4)
- rlepigre (4)
- maximedenes (4)
- greenrd (3)
- gares (3)
- cmangin (3)
- clarus (2)
- anton-trunov (2)
- thomas-lamiaux (2)
- Villetaneuse (2)
Top Issue Labels
- enhancement (1)