Ecosyste.ms: Issues

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

GitHub / spechub / Hets issue stats

Last synced: 14 days ago

Total issues: 67
Total pull requests: 51
Average time to close issues: over 2 years
Average time to close pull requests: 5 months
Total issue authors: 10
Total pull request authors: 10
Average comments per issue: 3.25
Average comments per pull request: 2.73
Merged pull requests: 37
Bot issues: 0
Bot pull requests: 0

Past year issues: 7
Past year pull requests: 7
Past year average time to close issues: N/A
Past year average time to close pull requests: 14 days
Past year issue authors: 2
Past year pull request authors: 2
Past year average comments per issue: 0.14
Past year average comments per pull request: 0.29
Past year merged pull requests: 1
Past year bot issues: 0
Past year bot pull requests: 0

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/spechub/Hets
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/spechub%2FHets

Issue Author Associations

  • Contributor (52, 77.61%)
  • Collaborator (13, 19.40%)
  • None (2, 2.99%)

Pull Request Author Associations

  • Collaborator (33, 64.71%)
  • Contributor (18, 35.29%)

Top Issue Authors

Top Pull Request Authors

All Maintainers

Active Maintainers

Top Issue Labels

  • C:OWL (8)
  • P:critical (7)
  • P:major (6)
  • Hiwi (4)
  • question (3)
  • T:bug (3)
  • C:CommonLogic (3)
  • bug (2)
  • enhancement (2)
  • T:task (2)
  • T:feature (1)
  • C:provers (1)
  • C:casl-ext (1)
  • C:ontology (1)

Top Pull Request Labels