Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / coq issue stats
Total issues: 408
Total pull requests: 882
Merged pull request: 461
Average time to close issues: over 1 year
Average time to close pull requests: about 2 months
Average comments per issue: 3.17
Average comments per pull request: 7.51
Issue owner Associations
- Contributor (209, 51.23%)
- Member (129, 31.62%)
- None (70, 17.16%)
Pull Request owner Associations
- Contributor (553, 62.70%)
- Member (308, 34.92%)
- None (21, 2.38%)
All Maintainers
- ppedrot (100)
- JasonGross (91)
- herbelin (77)
- jfehrle (51)
- Zimmi48 (40)
- ejgallego (29)
- mattam82 (16)
- gares (15)
- liyishuai (7)
- maximedenes (6)
- LasseBlaauwbroek (3)
- erikmd (2)
Active Maintainers
- ppedrot (84)
- JasonGross (46)
- jfehrle (41)
- herbelin (39)
- Zimmi48 (22)
- mattam82 (14)
- ejgallego (10)
- gares (7)
- erikmd (2)
- LasseBlaauwbroek (1)
Top Issue Authors
- JasonGross (72)
- coqbot (38)
- SkySkimmer (38)
- jfehrle (20)
- Janno (13)
- ppedrot (13)
- RalfJung (12)
- andres-erbsen (9)
- Alizter (8)
- herbelin (7)
- MSoegtropIMC (6)
- yannl35133 (6)
- samuelgruetter (5)
- ejgallego (5)
- fblanqui (4)
Top Pull Request Authors
- SkySkimmer (332)
- ppedrot (87)
- herbelin (70)
- proux01 (69)
- Zimmi48 (38)
- andres-erbsen (37)
- jfehrle (31)
- ejgallego (24)
- JasonGross (19)
- Janno (14)
- gares (13)
- mattam82 (13)
- yannl35133 (10)
- MSoegtropIMC (10)
- Tragicus (10)
Top Issue Labels
- kind: bug (166)
- needs: triage (79)
- kind: wish (58)
- part: tactics (33)
- kind: user messages (27)
- part: ltac2 (26)
- kind: enhancement (20)
- part: notations (18)
- kind: anomaly (18)
- part: modules (14)
- part: ltac (14)
- kind: performance (12)
- kind: feature (12)
- kind: documentation (11)
- kind: regression (10)
Top Pull Request Labels
- needs: full CI (199)
- kind: cleanup (158)
- kind: infrastructure (139)
- kind: fix (135)
- needs: rebase (122)
- kind: enhancement (84)
- kind: documentation (83)
- stale (76)
- part: standard library (68)
- kind: user messages (41)
- kind: performance (40)
- kind: feature (36)
- needs: fixing (26)
- kind: internal (24)
- needs: progress (23)