Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / MetaCoq / metacoq issue stats
Last synced: 2 days ago
Total issues: 45
Total pull requests: 158
Average time to close issues: 4 months
Average time to close pull requests: about 1 month
Total issue authors: 19
Total pull request authors: 27
Average comments per issue: 3.89
Average comments per pull request: 1.51
Merged pull requests: 129
Bot issues: 0
Bot pull requests: 12
Past year issues: 10
Past year pull requests: 89
Past year average time to close issues: about 1 month
Past year average time to close pull requests: 16 days
Past year issue authors: 8
Past year pull request authors: 18
Past year average comments per issue: 2.2
Past year average comments per pull request: 0.61
Past year merged pull requests: 74
Past year bot issues: 0
Past year bot pull requests: 12
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/MetaCoq%2Fmetacoq
Issue Author Associations
- Contributor (27, 60.00%)
- Member (9, 20.00%)
- None (9, 20.00%)
Pull Request Author Associations
- Member (76, 48.10%)
- Contributor (73, 46.20%)
- None (6, 3.80%)
- Collaborator (3, 1.90%)
Top Issue Authors
- SimonBoulier (11)
- gmalecha (5)
- JasonGross (5)
- yforster (4)
- mattam82 (4)
- vzaliva (2)
- rtetley (2)
- WeituoDAI (1)
- TheoWinterhalter (1)
- mkarup (1)
- liyishuai (1)
- kyoDralliam (1)
- Janno (1)
- hfehrmann (1)
- fakusb (1)
Top Pull Request Authors
- mattam82 (39)
- yforster (17)
- SimonBoulier (17)
- TheoWinterhalter (12)
- dependabot[bot] 🤖 (12)
- SkySkimmer (8)
- tabareau (6)
- yannl35133 (6)
- JasonGross (5)
- proux01 (5)
- gmalecha (5)
- herbelin (4)
- ppedrot (3)
- aa755 (3)
- MevenBertrand (2)
All Maintainers
- mattam82 (43)
- yforster (21)
- TheoWinterhalter (13)
- tabareau (6)
- ppedrot (3)
- MevenBertrand (2)
Active Maintainers
- mattam82 (33)
- tabareau (6)
- ppedrot (3)
- MevenBertrand (2)
Top Issue Labels
- good first issue (1)
- question (1)
Top Pull Request Labels
- dependencies (12)
- help wanted (1)
- question (1)