Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / coq issue stats
Total issues: 193
Total pull requests: 352
Merged pull request: 142
Average time to close issues: over 2 years
Average time to close pull requests: about 2 months
Average comments per issue: 3.35
Average comments per pull request: 8.61
Issue owner Associations
- Contributor (112, 58.03%)
- Member (54, 27.98%)
- None (27, 13.99%)
Pull Request owner Associations
- Contributor (201, 57.10%)
- Member (141, 40.06%)
- None (10, 2.84%)
All Maintainers
- herbelin (51)
- JasonGross (39)
- ppedrot (28)
- jfehrle (20)
- ejgallego (17)
- Zimmi48 (12)
- gares (11)
- mattam82 (6)
- liyishuai (5)
- LasseBlaauwbroek (3)
- maximedenes (3)
Active Maintainers
- herbelin (19)
- ppedrot (14)
- jfehrle (11)
- JasonGross (6)
- mattam82 (5)
- ejgallego (3)
- gares (3)
- LasseBlaauwbroek (1)
- Zimmi48 (1)
Top Issue Authors
- coqbot (37)
- JasonGross (30)
- SkySkimmer (20)
- jfehrle (11)
- RalfJung (8)
- herbelin (4)
- jlottes (3)
- Janno (3)
- samuelgruetter (3)
- tchajed (3)
- ejgallego (3)
- ppedrot (3)
- patrick-nicodemus (3)
- andres-erbsen (3)
- akr (3)
Top Pull Request Authors
- SkySkimmer (142)
- herbelin (47)
- ppedrot (25)
- proux01 (21)
- ejgallego (14)
- Zimmi48 (12)
- gares (9)
- jfehrle (9)
- JasonGross (9)
- yannl35133 (8)
- mattam82 (6)
- andres-erbsen (6)
- liyishuai (5)
- Janno (5)
- rlepigre (4)
Top Issue Labels
- kind: bug (49)
- needs: triage (23)
- part: tactics (22)
- kind: wish (22)
- part: ltac2 (15)
- kind: enhancement (14)
- kind: anomaly (11)
- part: ltac (11)
- resolved: won't fix (8)
- kind: feature (8)
- kind: user messages (8)
- part: modules (6)
- part: notations (5)
- kind: infrastructure (5)
- part: unification (5)
Top Pull Request Labels
- needs: full CI (115)
- kind: fix (62)
- kind: cleanup (52)
- needs: rebase (51)
- kind: infrastructure (43)
- kind: enhancement (39)
- stale (27)
- kind: documentation (23)
- kind: performance (18)
- part: standard library (18)
- kind: internal (16)
- kind: user messages (15)
- kind: feature (14)
- part: notations (11)
- needs: fixing (10)