Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / mikeshulman issue stats

Total issues: 13
Total pull requests: 31
Merged pull request: 31
Average time to close issues: 28 days
Average time to close pull requests: about 7 hours
Average comments per issue: 4.54
Average comments per pull request: 0.48

Issues created

HoTT/book: 12
HoTT/Coq-HoTT: 1

Pull requests created

HoTT/Coq-HoTT: 31

Maintainer

Active Maintainer

Issue Author Associations

Contributor (13, 100.00%)

Pull Request Author Associations

Contributor (31, 100.00%)