GitHub / int-y1 issue stats
Total issues: 14
Total pull requests: 156
Merged pull request: 150
Average time to close issues: about 2 months
Average time to close pull requests: 9 days
Average comments per issue: 2.0
Average comments per pull request: 0.58
Issues created
Pull requests created
- codespell-project/codespell: 88
- DMOJ/online-judge: 29
- DMOJ/judge-server: 13
- dmoj/runtimes-docker: 8
- leanprover/theorem_proving_in_lean4: 5
- meithecatte/busycoq: 3
- Fyrd/caniuse: 2
- bbchallenge/bbchallenge: 2
- dmoj/docs: 2
- math-comp/math-comp: 1
- rocq-community/coq-100-theorems: 1
- MikeMirzayanov/testlib: 1
- dmoj/site-assets: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (14, 100.00%)
Pull Request Author Associations
- Contributor (156, 100.00%)
Top Issue Labels
- ui (1)
- cleanup (1)
Top Pull Request Labels
- dictionary (86)