GitHub / leanprover-community / lean4-metaprogramming-book issue stats
Last synced: 5 days ago
Total issues: 1
Total pull requests: 12
Average time to close issues: N/A
Average time to close pull requests: about 10 hours
Total issue authors: 1
Total pull request authors: 5
Average comments per issue: 0.0
Average comments per pull request: 0.33
Merged pull requests: 5
Bot issues: 0
Bot pull requests: 0
Past year issues: 1
Past year pull requests: 12
Past year average time to close issues: N/A
Past year average time to close pull requests: about 10 hours
Past year issue authors: 1
Past year pull request authors: 5
Past year average comments per issue: 0.0
Past year average comments per pull request: 0.33
Past year merged pull requests: 5
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover-community%2Flean4-metaprogramming-book
Issue Author Associations
- Contributor (7, 700.00%)
- None (5, 500.00%)
- Collaborator (3, 300.00%)
- Member (1, 100.00%)
Pull Request Author Associations
- Contributor (21, 175.00%)
- None (14, 116.67%)
- Member (1, 8.33%)
Top Issue Authors
- Seasawher (8)
- Julian (2)
- kbuzzard (1)
- spinylobster (1)
- bollu (1)
- philnguyen (1)
- Shreyas4991 (1)
- alok (1)
Top Pull Request Authors
- Seasawher (19)
- 6elphegor (2)
- kpadmasola (2)
- adomasbaliuka (2)
- bryangingechen (1)
- JLimperg (1)
- gblike (1)
- tydeu (1)
- bernborgess (1)
- ydewit (1)
- pkshashank (1)
- m4lvin (1)
- lambda-fairy (1)
- ineol (1)
- eric-wieser (1)
All Maintainers
- Julian (2)
- kbuzzard (1)
- bollu (1)
- eric-wieser (1)
Active Maintainers
- eric-wieser (1)
Top Issue Labels
- enhancement (1)