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: 26
Merged pull request: 23
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.42

Issues created

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

Pull requests created

MetaCoq/metacoq: 17
mit-plv/fiat: 2
coq/stdlib2: 2
math-comp/odd-order: 2
coq-community/corn: 1
metacoq/metacoq.github.io: 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 (26, 100.00%)