GitHub / spechub / Hets issue stats
Last synced: 15 days ago
Total issues: 70
Total pull requests: 55
Average time to close issues: over 2 years
Average time to close pull requests: 5 months
Total issue authors: 10
Total pull request authors: 12
Average comments per issue: 3.11
Average comments per pull request: 2.58
Merged pull requests: 37
Bot issues: 0
Bot pull requests: 1
Past year issues: 3
Past year pull requests: 4
Past year average time to close issues: N/A
Past year average time to close pull requests: N/A
Past year issue authors: 2
Past year pull request authors: 3
Past year average comments per issue: 0.0
Past year average comments per pull request: 0.75
Past year merged pull requests: 0
Past year bot issues: 0
Past year bot pull requests: 1
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/spechub%2FHets
Issue Author Associations
- Contributor (53, 75.71%)
- Collaborator (15, 21.43%)
- None (2, 2.86%)
Pull Request Author Associations
- Collaborator (39, 70.91%)
- Contributor (18, 32.73%)
- None (2, 3.64%)
Top Issue Authors
All Maintainers
Active Maintainers
Top Issue Labels
- C:OWL (9)
- 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)
- thesis issue (1)
Top Pull Request Labels
- dependencies (2)