Ecosyste.ms: Issues

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

GitHub / awodey issue stats

Total issues: 11
Total pull requests: 6
Merged pull request: 3
Average time to close issues: 8 days
Average time to close pull requests: about 2 hours
Average comments per issue: 11.64
Average comments per pull request: 0.17

Issues created

HoTT/book: 11

Pull requests created

hott/archive: 4
HoTT/Coq-HoTT: 2

Maintainer

Active Maintainer

Issue Author Associations

Contributor (11, 100.00%)

Pull Request Author Associations

Contributor (6, 100.00%)