GitHub / the-lean-crate issue stats
Total issues: 16
Total pull requests: 4
Merged pull request: 4
Average time to close issues: about 2 months
Average time to close pull requests: about 3 hours
Average comments per issue: 2.13
Average comments per pull request: 0.75
Issues created
Pull requests created
Issue owner Associations
- None (11, 68.75%)
- Contributor (5, 31.25%)
Pull Request owner Associations
- Contributor (4, 100.00%)
All Maintainers
Active Maintainers
Top Issue Authors
- Byron (5)
- lopopolo (2)
- PicoJr (2)
- Anonyfox (1)
- bdejean (1)
- darnuria (1)
- edmorley (1)
- hecatia-elegua (1)
- Milo123459 (1)
- wimvelzeboer (1)
Top Issue Labels
- help wanted (4)
- bug (3)
- enhancement (3)
- wontfix (2)
- question (2)
- good first issue (1)
- article (1)