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: 93
Total pull requests: 137
Average time to close issues: 6 months
Average time to close pull requests: 6 days
Total issue authors: 31
Total pull request authors: 21
Average comments per issue: 2.74
Average comments per pull request: 1.85
Merged pull requests: 112
Bot issues: 0
Bot pull requests: 0
Past year issues: 35
Past year pull requests: 85
Past year average time to close issues: about 1 month
Past year average time to close pull requests: 2 days
Past year issue authors: 22
Past year pull request authors: 11
Past year average comments per issue: 2.06
Past year average comments per pull request: 0.41
Past year merged pull requests: 67
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 (45, 48.39%)
- Member (28, 30.11%)
- None (17, 18.28%)
- Collaborator (3, 3.23%)
Pull Request Author Associations
- Collaborator (54, 39.42%)
- Contributor (52, 37.96%)
- Member (28, 20.44%)
- None (3, 2.19%)
Top Issue Authors
- lovettchris (25)
- gebner (10)
- Kha (6)
- TwoFX (5)
- semorrison (5)
- Vtec234 (4)
- llllvvuu (4)
- tydeu (3)
- mhuisi (3)
- kevinsullivan (3)
- bryangingechen (2)
- eric-wieser (2)
- fpvandoorn (2)
- PatrickMassot (2)
- meithecatte (1)
Top Pull Request Authors
- mhuisi (54)
- lovettchris (22)
- Vtec234 (18)
- abentkamp (8)
- joneugster (6)
- gebner (5)
- eric-wieser (3)
- Kha (3)
- bryangingechen (2)
- llllvvuu (2)
- tydeu (2)
- SteveUlin (2)
- arienmalec (2)
- onriv (1)
- larsk21 (1)
Top Issue Labels
- bug (26)
- RFC (11)
- low priority (5)
- nice to have (4)
- enhancement (4)
- infrastructure (2)
- help wanted (1)
- invalid (1)
- hard to reproduce (1)