GitHub / imandra-ai / imandrax-api issue stats
Last synced: 5 months ago
Total issues: 27
Total pull requests: 94
Average time to close issues: about 1 month
Average time to close pull requests: 5 days
Total issue authors: 4
Total pull request authors: 7
Average comments per issue: 0.07
Average comments per pull request: 0.21
Merged pull requests: 83
Bot issues: 0
Bot pull requests: 0
Past year issues: 27
Past year pull requests: 92
Past year average time to close issues: about 1 month
Past year average time to close pull requests: 4 days
Past year issue authors: 4
Past year pull request authors: 7
Past year average comments per issue: 0.07
Past year average comments per pull request: 0.22
Past year merged pull requests: 82
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/imandra-ai%2Fimandrax-api
Issue Author Associations
- Member (15, 55.56%)
- None (1, 3.70%)
Pull Request Author Associations
- Member (34, 36.17%)
- Collaborator (12, 12.77%)
- None (5, 5.32%)
Top Issue Authors
- c-cube (10)
- Bronsa (4)
- mattjbray (1)
- actionshrimp (1)
Top Pull Request Authors
- c-cube (22)
- wintersteiger (10)
- Bronsa (9)
- mattjbray (5)
- sam-tombury (2)
- grantpassmore (2)
- actionshrimp (1)
All Maintainers
- c-cube (32)
- Bronsa (13)
- wintersteiger (10)
- actionshrimp (2)
- sam-tombury (2)
- grantpassmore (2)
Active Maintainers
- c-cube (13)
- Bronsa (11)
- wintersteiger (8)
- actionshrimp (2)
- grantpassmore (2)
- sam-tombury (2)
Top Issue Labels
- enhancement (2)
- A-python-API (2)
- help wanted (2)
Top Pull Request Labels
- cosmetic (1)