Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / coq / platform issue stats
Last synced: about 2 months ago
Total issues: 100
Total pull requests: 117
Average time to close issues: about 1 year
Average time to close pull requests: 29 days
Total issue authors: 21
Total pull request authors: 10
Average comments per issue: 9.39
Average comments per pull request: 3.82
Merged pull requests: 92
Bot issues: 0
Bot pull requests: 0
Past year issues: 2
Past year pull requests: 25
Past year average time to close issues: N/A
Past year average time to close pull requests: 5 days
Past year issue authors: 1
Past year pull request authors: 5
Past year average comments per issue: 2.0
Past year average comments per pull request: 0.84
Past year merged pull requests: 18
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/coq%2Fplatform
Issue Author Associations
- Collaborator (44, 44.00%)
- None (27, 27.00%)
- Member (23, 23.00%)
- Contributor (6, 6.00%)
Pull Request Author Associations
- Collaborator (71, 60.68%)
- Member (41, 35.04%)
- Contributor (5, 4.27%)
Top Issue Authors
- palmskog (30)
- gares (15)
- MSoegtropIMC (14)
- Zimmi48 (5)
- spitters (5)
- andrew-appel (4)
- dnaumann (4)
- tchajed (3)
- yforster (2)
- murrayE (2)
- LasseBlaauwbroek (2)
- fakusb (2)
- CoghettoR (2)
- Agnishom (2)
- 4ever2 (2)
Top Pull Request Authors
- MSoegtropIMC (70)
- gares (24)
- Zimmi48 (9)
- ejgallego (4)
- mattam82 (2)
- yforster (2)
- Blaisorblade (2)
- jfehrle (2)
- Yewzir (1)
- rtetley (1)
All Maintainers
- MSoegtropIMC (84)
- gares (39)
- palmskog (30)
- Zimmi48 (14)
- ejgallego (4)
- jfehrle (2)
- LasseBlaauwbroek (2)
- mattam82 (2)
- JasonGross (1)
- rtetley (1)
Active Maintainers
- MSoegtropIMC (17)
- ejgallego (2)
- jfehrle (2)
- rtetley (1)
Top Issue Labels
- kind: package inclusion (39)
- approval: has maintainer agreement (32)
- platform: windows (16)
- part: documentation (9)
- platform: macOS (7)
- needs: prerequisites (6)
- kind: enhancement (6)
- kind: upstream tracker (4)
- part: installation (4)
- needs: smoke test fix (3)
- part: policy (2)
- kind: cleanup (2)
- needs: dependency downgrade fix (2)
- needs: discussion (2)
- needs: help (2)
- needs: retest (2)
- kind: opam package issue (2)
- kind: bug (1)
- needs: cross platform fix (1)
- needs: maintainer agreement (1)
- part: advertising (1)
- part: ci and testing (1)
Top Pull Request Labels
- part: documentation (2)