GitHub / coq / platform issue stats
Last synced: 4 months ago
Total issues: 121
Total pull requests: 150
Average time to close issues: about 1 year
Average time to close pull requests: about 1 month
Total issue authors: 27
Total pull request authors: 14
Average comments per issue: 8.64
Average comments per pull request: 3.67
Merged pull requests: 122
Bot issues: 0
Bot pull requests: 0
Past year issues: 13
Past year pull requests: 46
Past year average time to close issues: 4 days
Past year average time to close pull requests: 9 days
Past year issue authors: 6
Past year pull request authors: 9
Past year average comments per issue: 0.92
Past year average comments per pull request: 1.17
Past year merged pull requests: 41
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 (28, 23.14%)
- None (21, 17.36%)
- Member (17, 14.05%)
- Contributor (5, 4.13%)
Pull Request Author Associations
- Collaborator (41, 27.33%)
- Member (25, 16.67%)
- None (3, 2.00%)
- Contributor (3, 2.00%)
Top Issue Authors
- palmskog (16)
- MSoegtropIMC (11)
- gares (10)
- spitters (5)
- tchajed (3)
- Zimmi48 (3)
- ejgallego (2)
- andrew-appel (2)
- dnaumann (2)
- Blaisorblade (1)
- RalfJung (1)
- mgree (1)
- fakusb (1)
- 4ever2 (1)
- JasonGross (1)
Top Pull Request Authors
- MSoegtropIMC (39)
- gares (15)
- Zimmi48 (5)
- jfehrle (3)
- proux01 (2)
- rtetley (2)
- mattam82 (1)
- yforster (1)
- Blaisorblade (1)
- SkySkimmer (1)
- LasseBlaauwbroek (1)
- caelum02 (1)
All Maintainers
- MSoegtropIMC (50)
- gares (25)
- palmskog (16)
- Zimmi48 (8)
- jfehrle (3)
- rtetley (3)
- ejgallego (2)
- LasseBlaauwbroek (2)
- mattam82 (1)
- JasonGross (1)
Active Maintainers
- MSoegtropIMC (19)
- jfehrle (3)
- palmskog (1)
- rtetley (1)
Top Issue Labels
- kind: package inclusion (28)
- approval: has maintainer agreement (24)
- platform: windows (8)
- platform: macOS (7)
- part: documentation (5)
- kind: upstream tracker (4)
- kind: enhancement (3)
- needs: prerequisites (3)
- needs: smoke test fix (2)
- part: installation (2)
- part: ci and testing (1)
- needs: maintainer agreement (1)
- needs: cross platform fix (1)
- part: policy (1)
- kind: opam package issue (1)
- kind: cleanup (1)
- needs: dependency downgrade fix (1)
- needs: discussion (1)
- kind: bug (1)
- needs: help (1)
- needs: retest (1)
- solution: wontfix (1)
Top Pull Request Labels
- part: documentation (1)