Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mrhaandi issue stats
Total issues: 0
Total pull requests: 3
Merged pull request: 3
Average time to close issues: N/A
Average time to close pull requests: about 14 hours
Average comments per issue: 0
Average comments per pull request: 1.33
Issues created
Pull requests created
- coq/coq: 1
- QuickChick/QuickChick: 1
- Mtac2/Mtac2: 1
Maintainer
Active Maintainer
Issue Author Associations
Pull Request Author Associations
- Contributor (3, 100.00%)
Top Issue Labels
Top Pull Request Labels
- kind: performance (1)