GitHub / leanprover / KLR issue stats
Last synced: about 3 hours ago
Total issues: 7
Total pull requests: 177
Average time to close issues: N/A
Average time to close pull requests: 2 days
Total issue authors: 3
Total pull request authors: 10
Average comments per issue: 0.0
Average comments per pull request: 0.24
Merged pull requests: 164
Bot issues: 0
Bot pull requests: 0
Past year issues: 7
Past year pull requests: 177
Past year average time to close issues: N/A
Past year average time to close pull requests: 2 days
Past year issue authors: 3
Past year pull request authors: 10
Past year average comments per issue: 0.0
Past year average comments per pull request: 0.24
Past year merged pull requests: 164
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2FKLR
Issue Author Associations
- Collaborator (7, 100.00%)
Pull Request Author Associations
- Collaborator (177, 100.00%)
Top Issue Authors
- seanmcl (5)
- aqjune-aws (1)
- govereau (1)
Top Pull Request Authors
- seanmcl (80)
- govereau (80)
- aqjune-aws (6)
- graebm (3)
- paulmure (2)
- jtristan (2)
- markusdemedeiros (1)
- P-bibs (1)
- joonwonc (1)
- JTurcotti (1)
All Maintainers
- seanmcl (85)
- govereau (81)
- aqjune-aws (7)
- graebm (3)
- paulmure (2)
- jtristan (2)
- markusdemedeiros (1)
- joonwonc (1)
- P-bibs (1)
- JTurcotti (1)
Active Maintainers
- seanmcl (85)
- govereau (81)
- aqjune-aws (7)
- graebm (3)
- jtristan (2)
- paulmure (2)
- joonwonc (1)
- JTurcotti (1)
- markusdemedeiros (1)
- P-bibs (1)
Top Issue Labels
- enhancement (1)
Top Pull Request Labels
- enhancement (16)
- bug (3)