Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / thorimur issue stats
Total issues: 1
Total pull requests: 6
Merged pull request: 0
Average time to close issues: N/A
Average time to close pull requests: 9 months
Average comments per issue: 0.0
Average comments per pull request: 2.5
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (1, 100.00%)
Pull Request Author Associations
- Contributor (6, 100.00%)
Top Issue Labels
- enhancement (1)
Top Pull Request Labels
- toolchain-available (4)
- WIP (2)
- breaks-mathlib (2)
- builds-mathlib (2)