Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leodemoura issue stats
Total issues: 52
Total pull requests: 1
Merged pull request: 1
Average time to close issues: 26 days
Average time to close pull requests: 2 days
Average comments per issue: 0.9
Average comments per pull request: 16.0
Issues created
- leanprover/lean3: 48
- leanprover/lean4: 4
Pull requests created
Maintainer
- leanprover/lean3: 48
- leanprover/lean4: 5
Active Maintainer
Issue Author Associations
- Member (52, 100.00%)
Pull Request Author Associations
- Member (1, 100.00%)
Top Issue Labels
- bug (7)
- enhancement (1)
- feature (1)
- P-medium (1)
Top Pull Request Labels
- builds-mathlib (1)
- toolchain-available (1)