Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / AU-COBRA / ConCert issue stats
Last synced: 5 days ago
Total issues: 17
Total pull requests: 106
Average time to close issues: about 1 year
Average time to close pull requests: 4 days
Total issue authors: 6
Total pull request authors: 6
Average comments per issue: 0.76
Average comments per pull request: 0.2
Merged pull requests: 99
Bot issues: 0
Bot pull requests: 11
Past year issues: 1
Past year pull requests: 18
Past year average time to close issues: N/A
Past year average time to close pull requests: 1 day
Past year issue authors: 1
Past year pull request authors: 2
Past year average comments per issue: 7.0
Past year average comments per pull request: 0.22
Past year merged pull requests: 14
Past year bot issues: 0
Past year bot pull requests: 7
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/AU-COBRA%2FConCert
Issue Author Associations
- Collaborator (13, 76.47%)
- Contributor (2, 11.76%)
- None (2, 11.76%)
Pull Request Author Associations
- Collaborator (91, 85.85%)
- Contributor (14, 13.21%)
- None (1, 0.94%)
Top Issue Authors
- annenkov (9)
- 4ever2 (2)
- mikkelmilo (2)
- weis611 (2)
- thewalker77 (1)
- womeier (1)
All Maintainers
- 4ever2 (85)
- annenkov (17)
- mikkelmilo (2)
Active Maintainers
- 4ever2 (11)
Top Issue Labels
- type: enhancement (6)
- type: feature (5)
- part: CameLIGO (4)
- part: execution (4)
- part: examples (4)
- part: infrastructure (2)
- type: refactor (2)
- type: bug (2)
- part: extraction (1)
- part: testing (1)
Top Pull Request Labels
- part: infrastructure (39)
- type: enhancement (25)
- part: dependencies (19)
- type: bug (18)
- part: examples (15)
- type: feature (13)
- type: refactor (12)
- part: execution (4)
- type: documentation (3)
- part: Rust (3)
- state: blocked (2)
- part: extraction (2)
- part: embedding (1)
- part: testing (1)
- part: Elm (1)