Ecosyste.ms: Issues

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

GitHub / lysxia / coq-simple-io issue stats

Last synced: 21 days ago

Total issues: 26
Total pull requests: 50
Average time to close issues: 2 months
Average time to close pull requests: 6 days
Total issue authors: 10
Total pull request authors: 7
Average comments per issue: 2.04
Average comments per pull request: 1.16
Merged pull requests: 49
Bot issues: 0
Bot pull requests: 0

Past year issues: 4
Past year pull requests: 9
Past year average time to close issues: 11 days
Past year average time to close pull requests: 3 days
Past year issue authors: 4
Past year pull request authors: 4
Past year average comments per issue: 1.75
Past year average comments per pull request: 0.44
Past year merged pull requests: 9
Past year bot issues: 0
Past year bot pull requests: 0

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/lysxia/coq-simple-io
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/lysxia%2Fcoq-simple-io

Issue Author Associations

  • None (10, 38.46%)
  • Owner (10, 38.46%)
  • Collaborator (3, 11.54%)
  • Contributor (3, 11.54%)

Pull Request Author Associations

  • Collaborator (24, 48.00%)
  • Owner (19, 38.00%)
  • Contributor (7, 14.00%)

Top Issue Authors

Top Pull Request Authors

All Maintainers

Active Maintainers

Top Issue Labels

  • enhancement (2)
  • bug (1)
  • question (1)

Top Pull Request Labels