Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / RobertHarper issue stats
Total issues: 9
Total pull requests: 1
Merged pull request: 1
Average time to close issues: 4 days
Average time to close pull requests: about 4 hours
Average comments per issue: 5.44
Average comments per pull request: 1.0
Issues created
- HoTT/book: 6
- michaelt/martin-lof: 2
- azdavis/millet: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (8, 88.89%)
- None (1, 11.11%)
Pull Request Author Associations
- Contributor (1, 100.00%)
Top Issue Labels
- enhancement (1)
- bug (1)
Top Pull Request Labels
- enhancement (1)