Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Komyyy issue stats
Total issues: 2
Total pull requests: 3
Merged pull request: 0
Average time to close issues: N/A
Average time to close pull requests: 18 days
Average comments per issue: 1.0
Average comments per pull request: 3.0
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (2, 100.00%)
Pull Request Author Associations
- Collaborator (3, 100.00%)
Top Issue Labels
Top Pull Request Labels
- mathlib-port (3)
- t-meta (3)
- awaiting-review (2)
- blocked-by-other-PR (1)
- modifies-tactic-syntax (1)
- delegated (1)