GitHub / rocq-prover / platform issue stats
Last synced: 2 months ago
Total issues: 38
Total pull requests: 66
Average time to close issues: 10 months
Average time to close pull requests: about 2 months
Total issue authors: 20
Total pull request authors: 10
Average comments per issue: 7.84
Average comments per pull request: 2.09
Merged pull requests: 51
Bot issues: 0
Bot pull requests: 0
Past year issues: 9
Past year pull requests: 45
Past year average time to close issues: 6 days
Past year average time to close pull requests: 5 days
Past year issue authors: 6
Past year pull request authors: 9
Past year average comments per issue: 1.0
Past year average comments per pull request: 1.24
Past year merged pull requests: 39
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-prover%2Fplatform
Issue Author Associations
- None (9, 23.68%)
- Collaborator (8, 21.05%)
- Member (5, 13.16%)
Pull Request Author Associations
- Collaborator (31, 46.97%)
- Member (4, 6.06%)
- Contributor (2, 3.03%)
Top Issue Authors
Top Pull Request Authors
- MSoegtropIMC (30)
- ejgallego (4)
- Yewzir (1)
- rtetley (1)
- SkySkimmer (1)
All Maintainers
Active Maintainers
- MSoegtropIMC (12)
- ejgallego (1)
Top Issue Labels
- needs: retest (4)
- platform: windows (3)
- kind: bug (3)
- part: documentation (2)
- kind: enhancement (2)
- kind: upstream tracker (1)
- solution: wontfix (1)
- part: advertising (1)
- part: installation (1)
- platform: macOS (1)
- kind: opam package issue (1)
- platform: macOS MacPorts (1)