Ecosyste.ms: Issues

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

GitHub / int-y1 issue stats

Total issues: 9
Total pull requests: 113
Merged pull request: 112
Average time to close issues: about 1 month
Average time to close pull requests: 12 days
Average comments per issue: 1.44
Average comments per pull request: 0.33

Issues created

bbchallenge/bbchallenge: 5
leanprover/theorem_proving_in_lean4: 2
codespell-project/codespell: 1
DMOJ/judge-server: 1

Pull requests created

codespell-project/codespell: 88
leanprover/theorem_proving_in_lean4: 10
DMOJ/judge-server: 8
bbchallenge/bbchallenge: 3
Fyrd/caniuse: 1
math-comp/math-comp: 1
coq-community/coq-100-theorems: 1
MikeMirzayanov/testlib: 1

Maintainer

Active Maintainer

Issue Author Associations

Contributor (9, 100.00%)

Pull Request Author Associations

Contributor (113, 100.00%)

Top Issue Labels

Top Pull Request Labels

dictionary (86)