Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leanprover / fp-lean issue stats
Last synced: 7 days ago
Total issues: 154
Total pull requests: 17
Average time to close issues: 4 months
Average time to close pull requests: 20 days
Total issue authors: 29
Total pull request authors: 10
Average comments per issue: 1.5
Average comments per pull request: 1.76
Merged pull requests: 5
Bot issues: 0
Bot pull requests: 0
Past year issues: 30
Past year pull requests: 7
Past year average time to close issues: 5 days
Past year average time to close pull requests: about 17 hours
Past year issue authors: 18
Past year pull request authors: 6
Past year average comments per issue: 1.07
Past year average comments per pull request: 0.86
Past year merged pull requests: 1
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Ffp-lean
Issue Author Associations
- Collaborator (59, 38.31%)
- Contributor (48, 31.17%)
- None (38, 24.68%)
- Member (9, 5.84%)
Pull Request Author Associations
- None (7, 41.18%)
- Contributor (7, 41.18%)
- Collaborator (3, 17.65%)
Top Issue Authors
- david-christiansen (58)
- lovettchris (48)
- leodemoura (8)
- mars0i (7)
- TomasPuverle (3)
- JADekker (3)
- mbravenboer (2)
- CraigStuntz (2)
- crvdgc (2)
- Seasawher (2)
- michens (1)
- pitmonticone (1)
- rongcuid (1)
- sanpoyur (1)
- spearman (1)
Top Pull Request Authors
- lovettchris (7)
- david-christiansen (2)
- turibe (1)
- vanessa-rodrigues (1)
- adolfont (1)
- azolotko (1)
- hmonroe (1)
- zhassan-aws (1)
- JiechengZhao (1)
- overminder (1)
All Maintainers
- david-christiansen (60)
- leodemoura (8)
- gebner (1)
- marianaalanis93 (1)
- vanessa-rodrigues (1)
Active Maintainers
Top Issue Labels
- Typo (18)
- wontfix (9)
- Confusing (9)
- Promises (6)
- Inaccuracies (5)
- Dreams (2)
- enhancement (2)
- Build system (1)