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: 1 day ago
Total issues: 113
Total pull requests: 171
Average time to close issues: 5 months
Average time to close pull requests: 12 days
Total issue authors: 42
Total pull request authors: 26
Average comments per issue: 2.59
Average comments per pull request: 1.58
Merged pull requests: 144
Bot issues: 0
Bot pull requests: 0
Past year issues: 51
Past year pull requests: 119
Past year average time to close issues: about 1 month
Past year average time to close pull requests: 12 days
Past year issue authors: 30
Past year pull request authors: 16
Past year average comments per issue: 1.84
Past year average comments per pull request: 0.43
Past year merged pull requests: 99
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, 44.25%)
- Member (32, 28.32%)
- None (27, 23.89%)
- Collaborator (4, 3.54%)
Pull Request Author Associations
- Collaborator (76, 44.44%)
- Contributor (57, 33.33%)
- Member (31, 18.13%)
- None (7, 4.09%)
Top Issue Authors
- lovettchris (25)
- gebner (10)
- TwoFX (7)
- Kha (7)
- semorrison (5)
- Vtec234 (5)
- fpvandoorn (5)
- llllvvuu (4)
- mhuisi (4)
- kevinsullivan (3)
- tydeu (3)
- bryangingechen (3)
- eric-wieser (2)
- PatrickMassot (2)
- Coda-Coda (1)
Top Pull Request Authors
- mhuisi (76)
- lovettchris (22)
- Vtec234 (21)
- abentkamp (8)
- joneugster (8)
- gebner (5)
- Kha (3)
- eric-wieser (3)
- bryangingechen (2)
- llllvvuu (2)
- jesse-michael-han (2)
- SteveUlin (2)
- tydeu (2)
- arienmalec (2)
- jakobvase (2)
Top Issue Labels
- bug (36)
- RFC (14)
- 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)