Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ejgallego / coq-serapi issue stats
Last synced: 4 days ago
Total issues: 81
Total pull requests: 119
Average time to close issues: over 1 year
Average time to close pull requests: 17 days
Total issue authors: 27
Total pull request authors: 19
Average comments per issue: 6.75
Average comments per pull request: 1.22
Merged pull requests: 109
Bot issues: 0
Bot pull requests: 0
Past year issues: 12
Past year pull requests: 55
Past year average time to close issues: about 2 months
Past year average time to close pull requests: 14 days
Past year issue authors: 7
Past year pull request authors: 13
Past year average comments per issue: 4.83
Past year average comments per pull request: 0.31
Past year merged pull requests: 50
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/ejgallego%2Fcoq-serapi
Issue Author Associations
- None (28, 34.57%)
- Collaborator (22, 27.16%)
- Owner (20, 24.69%)
- Contributor (11, 13.58%)
Pull Request Author Associations
- Collaborator (58, 48.74%)
- Owner (44, 36.97%)
- Contributor (15, 12.61%)
- None (2, 1.68%)
Top Issue Authors
- ejgallego (20)
- cpitclaudel (10)
- palmskog (6)
- Ptival (6)
- SnarkBoojum (4)
- jimyu94 (4)
- anton-trunov (3)
- riswords (3)
- psteckler (2)
- MSoegtropIMC (2)
- rtetley (2)
- toku-sa-n (2)
- yangky11 (2)
- Zimmi48 (2)
- rwhender (1)
Top Pull Request Authors
- ejgallego (44)
- SkySkimmer (24)
- palmskog (18)
- ppedrot (8)
- proux01 (5)
- herbelin (4)
- rlepigre (3)
- zjhmale (2)
- Ptival (1)
- gares (1)
- joelburget (1)
- cpitclaudel (1)
- yannl35133 (1)
- anton-trunov (1)
- LasseBlaauwbroek (1)
All Maintainers
- ejgallego (64)
- palmskog (24)
- SkySkimmer (24)
- cpitclaudel (11)
- ppedrot (8)
- anton-trunov (4)
- herbelin (4)
- Zimmi48 (3)
- HazardousPeach (1)
- JasonGross (1)
Active Maintainers
- ejgallego (22)
- SkySkimmer (11)
- ppedrot (7)
- herbelin (1)
- JasonGross (1)
- palmskog (1)
Top Issue Labels
- kind: enhancement (15)
- kind: bug (12)
- in-progress (11)
- kind: upstream (11)
- protocol (10)
- kind: documentation (9)
- question (9)
- fixed by: flèche (8)
- sexplib (6)
- wontfix (5)
- help wanted (4)
- moreinfo (1)
- invalid (1)
- to investigate (1)
- kind: infrastructure (1)
- kind: meta (1)
- kind: serialization (1)
Top Pull Request Labels
- kind: upstream (55)
- kind: bug (20)
- kind: enhancement (18)
- kind: testing (11)
- kind: infrastructure (10)
- kind: serialization (9)
- kind: meta (5)
- kind: documentation (5)
- kind: cleanup (3)
- protocol (2)
- fixed by: flèche (1)
- part: async (1)