Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / GaloisInc / cryptol issue stats
Last synced: 9 days ago
Total issues: 154
Total pull requests: 170
Average time to close issues: 2 months
Average time to close pull requests: 18 days
Total issue authors: 25
Total pull request authors: 24
Average comments per issue: 1.73
Average comments per pull request: 1.03
Merged pull requests: 148
Bot issues: 0
Bot pull requests: 6
Past year issues: 86
Past year pull requests: 51
Past year average time to close issues: 18 days
Past year average time to close pull requests: 9 days
Past year issue authors: 15
Past year pull request authors: 11
Past year average comments per issue: 1.23
Past year average comments per pull request: 0.9
Past year merged pull requests: 44
Past year bot issues: 0
Past year bot pull requests: 5
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2Fcryptol
Issue Author Associations
- Contributor (59, 38.31%)
- Member (44, 28.57%)
- None (33, 21.43%)
- Collaborator (18, 11.69%)
Pull Request Author Associations
- Contributor (125, 73.53%)
- Member (38, 22.35%)
- Collaborator (5, 2.94%)
- None (2, 1.18%)
Top Issue Authors
- yav (42)
- RyanGlScott (30)
- WeeknightMVP (18)
- weaversa (15)
- qsctr (15)
- mccleeary-galois (7)
- sauclovian-g (3)
- ramsdell (3)
- atomb (2)
- podhrmic (2)
- mouse07410 (2)
- mariosge (2)
- marsella (1)
- hemnd (1)
- m-yac (1)
Top Pull Request Authors
- robdockins (36)
- yav (32)
- RyanGlScott (28)
- qsctr (17)
- mccleeary-galois (7)
- atomb (6)
- dependabot[bot] 🤖 (6)
- brianhuffman (5)
- kquick (4)
- lisanna-dettwyler (4)
- benjaminselfridge (4)
- weaversa (3)
- m-yac (2)
- pnwamk (2)
- felixonmars (2)
Top Issue Labels
- bug (42)
- feature request (25)
- parameterized modules (25)
- enums (16)
- remote-api (11)
- language (10)
- typechecker (10)
- UX (8)
- projects (7)
- FFI (7)
- design needed (6)
- CI (6)
- type-guards (6)
- low-hanging fruit (5)
- command-line-repl (5)
- docs (5)
- tech-debt (4)
- build system (3)
- parser (2)
- maybe-fixed (2)
- importing instantiations (2)
- windows (1)
- performance (1)
- feature (1)
- question (1)
- devops (1)
- What4/SBV (1)
- renamer (1)
- dependencies (1)
- cryptol-as-a-library (1)
Top Pull Request Labels
- FFI (8)
- dependencies (6)
- language (4)
- command-line-repl (3)
- remote-api (2)
- CI (2)
- parameterized modules (2)
- docs (1)
- enums (1)
- type-guards (1)
- build system (1)
- feature (1)