GitHub / leanprover-community / mathlib issue stats
Last synced: over 1 year ago
Total issues: 27
Total pull requests: 229
Average time to close issues: 2 months
Average time to close pull requests: 21 days
Total issue authors: 8
Total pull request authors: 15
Average comments per issue: 4.3
Average comments per pull request: 3.37
Merged pull requests: 131
Bot issues: 0
Bot pull requests: 0
Past year issues: 0
Past year pull requests: 0
Past year average time to close issues: N/A
Past year average time to close pull requests: N/A
Past year issue authors: 0
Past year pull request authors: 0
Past year average comments per issue: 0
Past year average comments per pull request: 0
Past year merged pull requests: 0
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover-community%2Fmathlib
Issue Author Associations
- Member (6, 22.22%)
- None (3, 11.11%)
- Collaborator (2, 7.41%)
Pull Request Author Associations
- Collaborator (45, 19.65%)
- Member (42, 18.34%)
- None (1, 0.44%)
- Contributor (1, 0.44%)
Top Issue Authors
- kbuzzard (3)
- spl (2)
- ChrisHughes24 (1)
- digama0 (1)
- PatrickMassot (1)
- ctchou (1)
- picrin (1)
- adhalanay (1)
Top Pull Request Authors
- ChrisHughes24 (15)
- PatrickMassot (13)
- semorrison (10)
- spl (9)
- kckennylau (8)
- cipher1024 (7)
- kbuzzard (7)
- gebner (6)
- johoelzl (5)
- Kha (3)
- minchaowu (2)
- sgouezel (1)
- robertylewis (1)
- MonoidMusician (1)
- louisanu (1)
All Maintainers
- ChrisHughes24 (16)
- PatrickMassot (14)
- spl (11)
- kbuzzard (10)
- semorrison (10)
- kckennylau (8)
- cipher1024 (7)
- gebner (6)
- johoelzl (5)
- Kha (3)
- minchaowu (2)
- digama0 (1)
- robertylewis (1)
- sgouezel (1)
Active Maintainers
Top Issue Labels
- RFC (2)
- bug (1)
Top Pull Request Labels
- WIP (3)