GitHub / Zimmi48 issue stats

Total issues: 233
Total pull requests: 466
Merged pull request: 385
Average time to close issues: 7 months
Average time to close pull requests: 22 days
Average comments per issue: 3.53
Average comments per pull request: 2.61

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

Member (156, 66.95%)
None (35, 15.02%)
Owner (25, 10.73%)
Contributor (9, 3.86%)
Collaborator (8, 3.43%)

Pull Request Author Associations

Member (417, 89.48%)
Contributor (23, 4.94%)
None (16, 3.43%)
Owner (7, 1.50%)
Collaborator (3, 0.64%)

Top Issue Labels

enhancement (30)
bug (24)
move-project (7)
meta (7)
coq-library (4)
question (4)
help wanted (3)
priority: blocker (2)
kind: infrastructure (2)
kind: question (2)
coq-plugin (2)
automation (2)
documentation (2)
wontfix (2)
kind: enhancement (2)

Top Pull Request Labels

kind: documentation (33)
kind: infrastructure (19)
kind: fix (17)
documentation (12)
kind: meta (11)
kind: cleanup (9)
needs: full CI (6)
enhancement (4)
stale (4)
needs: rebase (4)
needs: fixing (2)
automerge (2)
kind: enhancement (2)
part: build (2)
needs: progress (2)