Ecosyste.ms: Issues

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

GitHub / silene issue stats

Total issues: 2
Total pull requests: 26
Merged pull request: 23
Average time to close issues: 16 days
Average time to close pull requests: about 1 month
Average comments per issue: 3.5
Average comments per pull request: 0.96

Issues created

coq/coq: 1
EugeneLoy/coq_jupyter: 1

Pull requests created

coq/repo-stable-disabled: 8
coq/opam: 3
ocaml/Zarith: 2
mit-pdos/perennial: 2
AbsInt/CompCert: 2
coq/coq.github.io: 2
ybertot/pi-agm: 1
coq/coq: 1
coq-community/corn: 1
boostorg/interval: 1
MetaCoq/metacoq: 1
blackducksoftware/ohcount: 1
sphinx-doc/alabaster: 1

Maintainer

Active Maintainer

Issue Author Associations

Contributor (1, 50.00%)
None (1, 50.00%)

Pull Request Author Associations

Contributor (22, 84.62%)
None (4, 15.38%)

Top Issue Labels

kind: bug (1)

Top Pull Request Labels

kind: fix (1)
part: ring/field (1)