Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leanprover / doc-gen4 issue stats
Last synced: 2 days ago
Total issues: 75
Total pull requests: 155
Average time to close issues: 10 months
Average time to close pull requests: 11 days
Total issue authors: 18
Total pull request authors: 25
Average comments per issue: 2.16
Average comments per pull request: 0.98
Merged pull requests: 142
Bot issues: 0
Bot pull requests: 0
Past year issues: 20
Past year pull requests: 110
Past year average time to close issues: about 1 month
Past year average time to close pull requests: about 23 hours
Past year issue authors: 11
Past year pull request authors: 16
Past year average comments per issue: 1.95
Past year average comments per pull request: 0.88
Past year merged pull requests: 104
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fdoc-gen4
Issue Author Associations
- None (39, 52.00%)
- Collaborator (22, 29.33%)
- Contributor (14, 18.67%)
Pull Request Author Associations
- Contributor (110, 70.97%)
- Collaborator (42, 27.10%)
- Member (2, 1.29%)
- None (1, 0.65%)
Top Issue Authors
- hargoniX (22)
- alreadydone (12)
- eric-wieser (7)
- nomeata (6)
- utensil (4)
- hrmacbeth (4)
- fpvandoorn (3)
- Command-Master (2)
- mhuisi (2)
- alexjbest (2)
- Ruben-VandeVelde (2)
- BoltonBailey (2)
- chabulhwi (2)
- habemus-papadum (1)
- YaelDillies (1)
Top Pull Request Authors
- hargoniX (42)
- kim-em (26)
- acmepjz (17)
- eric-wieser (11)
- kmill (8)
- alexjbest (6)
- winstonyin (6)
- cppio (5)
- digama0 (4)
- Komyyy (3)
- jcommelin (2)
- Ruben-VandeVelde (2)
- josojo (2)
- tydeu (2)
- pitmonticone (2)
Top Issue Labels
- enhancement (4)
- help wanted (4)