Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / datokrat issue stats
Total issues: 5
Total pull requests: 27
Merged pull request: 11
Average time to close issues: about 1 month
Average time to close pull requests: 4 days
Average comments per issue: 0.8
Average comments per pull request: 0.81
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (5, 100.00%)
Pull Request Author Associations
- Contributor (26, 96.30%)
- Collaborator (1, 3.70%)
Top Issue Labels
Top Pull Request Labels
- toolchain-available (11)
- changes-stage0 (9)
- builds-mathlib (4)
- awaiting-author (1)
- changelog-language (1)
- changelog-library (1)