Ecosyste.ms: Issues

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

GitHub / silene issue stats

Total issues: 5
Total pull requests: 34
Merged pull request: 28
Average time to close issues: 27 days
Average time to close pull requests: 27 days
Average comments per issue: 3.4
Average comments per pull request: 0.79

Issues created

math-comp/hierarchy-builder: 3
coq/coq: 1
EugeneLoy/coq_jupyter: 1

Pull requests created

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

Maintainer

Active Maintainer

Issue Author Associations

None (4, 80.00%)
Contributor (1, 20.00%)

Pull Request Author Associations

Contributor (30, 88.24%)
None (4, 11.76%)

Top Issue Labels

kind: bug (1)
high priority (1)
easy difficulty (1)
needs: more discussion (1)

Top Pull Request Labels

kind: fix (3)
needs: changelog entry (2)
part: parser (2)
needs: full CI (2)
consider for merge (2)
part: ring/field (1)