Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / GaloisInc / cryptol-specs issue stats
Last synced: 7 months ago
Total issues: 37
Total pull requests: 35
Average time to close issues: about 1 year
Average time to close pull requests: 13 days
Total issue authors: 13
Total pull request authors: 13
Average comments per issue: 1.65
Average comments per pull request: 0.83
Merged pull requests: 28
Bot issues: 0
Bot pull requests: 0
Past year issues: 8
Past year pull requests: 13
Past year average time to close issues: 3 months
Past year average time to close pull requests: 9 days
Past year issue authors: 4
Past year pull request authors: 6
Past year average comments per issue: 1.38
Past year average comments per pull request: 0.62
Past year merged pull requests: 10
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2Fcryptol-specs
Issue Author Associations
- Contributor (20, 54.05%)
- Collaborator (6, 16.22%)
- None (6, 16.22%)
- Member (5, 13.51%)
Pull Request Author Associations
- Contributor (29, 82.86%)
- None (5, 14.29%)
- Member (1, 2.86%)
Top Issue Authors
- brianhuffman (11)
- andrew-bivin (6)
- kiniry (5)
- ramsdell (4)
- weaversa (3)
- abakst (1)
- hadasz (1)
- lisanna-dettwyler (1)
- mariosge (1)
- robdockins (1)
- rod-chapman (1)
- ryazo (1)
- WeeknightMVP (1)
Top Pull Request Authors
- bboston7 (9)
- mariosge (6)
- pnwamk (4)
- ramsdell (3)
- ajayeeralla (2)
- carrala (2)
- weaversa (2)
- eddywestbrook (2)
- atomb (1)
- robdockins (1)
- RyanGlScott (1)
- abakst (1)
- yav (1)
All Maintainers
- andrew-bivin (6)
- kiniry (5)
- yav (1)
Active Maintainers
Top Issue Labels
- bug (5)
- enhancement (5)
- post-quantum (4)
- CI (1)
- question (1)
Top Pull Request Labels
- post-quantum (4)
- enhancement (2)
- bug (1)