Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leanprover / vscode-lean4 issue stats
Last synced: 3 days ago
Total issues: 109
Total pull requests: 165
Average time to close issues: 5 months
Average time to close pull requests: 12 days
Total issue authors: 40
Total pull request authors: 24
Average comments per issue: 2.64
Average comments per pull request: 1.63
Merged pull requests: 141
Bot issues: 0
Bot pull requests: 0
Past year issues: 49
Past year pull requests: 113
Past year average time to close issues: about 1 month
Past year average time to close pull requests: 12 days
Past year issue authors: 29
Past year pull request authors: 14
Past year average comments per issue: 1.92
Past year average comments per pull request: 0.44
Past year merged pull requests: 96
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4
Issue Author Associations
- Contributor (50, 45.87%)
- Member (30, 27.52%)
- None (25, 22.94%)
- Collaborator (4, 3.67%)
Pull Request Author Associations
- Collaborator (73, 44.24%)
- Contributor (57, 34.55%)
- Member (31, 18.79%)
- None (4, 2.42%)
Top Issue Authors
- lovettchris (25)
- gebner (10)
- TwoFX (6)
- Kha (6)
- fpvandoorn (5)
- semorrison (5)
- Vtec234 (5)
- mhuisi (4)
- llllvvuu (4)
- tydeu (3)
- bryangingechen (3)
- kevinsullivan (3)
- PatrickMassot (2)
- eric-wieser (2)
- joneugster (1)
Top Pull Request Authors
- mhuisi (73)
- lovettchris (22)
- Vtec234 (21)
- abentkamp (8)
- joneugster (8)
- gebner (5)
- eric-wieser (3)
- Kha (3)
- arienmalec (2)
- SteveUlin (2)
- tydeu (2)
- jesse-michael-han (2)
- llllvvuu (2)
- bryangingechen (2)
- larsk21 (1)
Top Issue Labels
- bug (34)
- RFC (13)
- enhancement (6)
- low priority (5)
- nice to have (4)
- infrastructure (2)
- help wanted (1)
- invalid (1)
- hard to reproduce (1)
Top Pull Request Labels
- awaiting-author (4)