Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / peterlefanulumsdaine issue stats
Total issues: 25
Total pull requests: 11
Merged pull request: 9
Average time to close issues: about 1 year
Average time to close pull requests: about 9 hours
Average comments per issue: 3.0
Average comments per pull request: 1.73
Issues created
- HoTT/Coq-HoTT: 21
- UniMath/UniMath: 3
- soli/rascal: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (21, 84.00%)
- Collaborator (3, 12.00%)
- None (1, 4.00%)
Pull Request Author Associations
- Contributor (9, 81.82%)
- Collaborator (2, 18.18%)
Top Issue Labels
- code change - just do (1)
- good first issue (1)