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: 5 days ago

Total issues: 98
Total pull requests: 93
Average time to close issues: about 1 year
Average time to close pull requests: 21 days
Total issue authors: 21
Total pull request authors: 9
Average comments per issue: 9.54
Average comments per pull request: 4.73
Merged pull requests: 72
Bot issues: 0
Bot pull requests: 0

Past year issues: 0
Past year pull requests: 9
Past year average time to close issues: N/A
Past year average time to close pull requests: about 14 hours
Past year issue authors: 0
Past year pull request authors: 4
Past year average comments per issue: 0
Past year average comments per pull request: 2.89
Past year merged pull requests: 2
Past year bot issues: 0
Past year bot pull requests: 0

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/coq/platform
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/coq%2Fplatform

Issue Author Associations

Collaborator (44, 44.90%)
None (27, 27.55%)
Member (23, 23.47%)
Contributor (4, 4.08%)

Pull Request Author Associations

Collaborator (48, 51.61%)
Member (41, 44.09%)
Contributor (4, 4.30%)

Active Maintainers

Top Issue Labels

kind: package inclusion (39)
approval: has maintainer agreement (32)
platform: windows (16)
part: documentation (8)
platform: macOS (7)
kind: enhancement (6)
needs: prerequisites (6)
part: installation (4)
kind: upstream tracker (4)
needs: smoke test fix (3)
part: policy (2)
needs: dependency downgrade fix (2)
needs: help (2)
needs: retest (2)
kind: opam package issue (2)
kind: cleanup (2)
needs: discussion (2)
part: ci and testing (1)
part: advertising (1)
needs: maintainer agreement (1)
needs: cross platform fix (1)

Top Pull Request Labels

part: documentation (2)