Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / SimonBoulier issue stats

Total issues: 15
Total pull requests: 21
Merged pull request: 18
Average time to close issues: 4 months
Average time to close pull requests: 6 days
Average comments per issue: 5.13
Average comments per pull request: 1.38

Issues created

MetaCoq/metacoq: 11
ProofGeneral/PG: 2
coq-community/coq-dpdgraph: 1
vspinu/company-math: 1

Pull requests created

MetaCoq/metacoq: 17
coq/stdlib2: 2
coq-community/corn: 1
coq-community/coq-dpdgraph: 1

Maintainer

Active Maintainer

Issue Author Associations

Contributor (12, 80.00%)
None (3, 20.00%)

Pull Request Author Associations

Contributor (21, 100.00%)