GitHub / proux01 issue stats

Total issues: 28
Total pull requests: 798
Merged pull request: 730
Average time to close issues: 3 months
Average time to close pull requests: 15 days
Average comments per issue: 2.25
Average comments per pull request: 1.97

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

Contributor (23, 82.14%)
None (4, 14.29%)
Collaborator (1, 3.57%)

Pull Request Author Associations

Contributor (618, 77.44%)
Collaborator (174, 21.80%)
None (6, 0.75%)

Top Issue Labels

kind: bug (3)
kind: warning (1)
bug (1)
needs: triage (1)
kind: wish (1)
urgent priority (1)
easy difficulty (1)
low priority (1)
medium difficulty (1)
kind: meta (1)
kind: user messages (1)
maintainer-wanted (1)
coq-library (1)
change-maintainer (1)

Top Pull Request Labels

kind: infrastructure (25)
kind: documentation (24)
needs: full CI (11)
part: CI (8)
kind: upstream (6)
kind: user messages (6)
kind: clean-up (3)
kind: CI (3)
10.rebuild-darwin: 0 (3)
10.rebuild-linux: 0 (3)
kind: cleanup (3)
10.rebuild-darwin: 1-10 (3)
10.rebuild-linux: 1-10 (3)
needs: rebase (3)
drops: coq 8.16 (2)