Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / tydeu issue stats
Total issues: 9
Total pull requests: 84
Merged pull request: 72
Average time to close issues: about 1 month
Average time to close pull requests: 6 days
Average comments per issue: 2.89
Average comments per pull request: 0.58
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (5, 55.56%)
- Member (4, 44.44%)
Pull Request Author Associations
- Member (74, 88.10%)
- Owner (7, 8.33%)
- Contributor (3, 3.57%)
Top Issue Labels
- bug (4)
- v3 (1)
- windows (1)
- low priority (1)
Top Pull Request Labels
- toolchain-available (11)
- builds-mathlib (10)
- A-index (7)
- release-ci (3)
- A-testbed (3)
- will-merge-soon (2)
- backport releases/v4.13.0 (2)
- A-cache (2)
- backport releases/v4.12.0 (1)
- breaks-mathlib (1)
- WIP (1)
- enhancement (1)