GitHub / cppio issue stats
Total issues: 13
Total pull requests: 12
Merged pull request: 11
Average time to close issues: 8 days
Average time to close pull requests: 3 days
Average comments per issue: 2.08
Average comments per pull request: 1.25
Issues created
- leanprover/lean4: 10
- cppio/web-telnet: 3
Pull requests created
Maintainer
- cppio/web-telnet: 3
- cppio/ezhook: 1
Active Maintainer
Issue Author Associations
- Contributor (10, 76.92%)
- Owner (3, 23.08%)
Pull Request Author Associations
- Contributor (11, 91.67%)
- Owner (1, 8.33%)
Top Issue Labels
- bug (9)
- P-medium (3)
- P-low (3)
- enhancement (3)
- RFC (1)
- P-high (1)
Top Pull Request Labels
- toolchain-available (6)
- changelog-language (3)
- builds-mathlib (3)
- P-low (2)
- awaiting-review (1)