GitHub / informalsystems / quint issue stats
Last synced: about 15 hours ago
Total issues: 408
Total pull requests: 627
Average time to close issues: 5 months
Average time to close pull requests: 8 days
Total issue authors: 38
Total pull request authors: 58
Average comments per issue: 1.37
Average comments per pull request: 1.0
Merged pull requests: 505
Bot issues: 0
Bot pull requests: 0
Past year issues: 74
Past year pull requests: 263
Past year average time to close issues: 23 days
Past year average time to close pull requests: 7 days
Past year issue authors: 24
Past year pull request authors: 52
Past year average comments per issue: 0.72
Past year average comments per pull request: 0.99
Past year merged pull requests: 194
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/informalsystems%2Fquint
Issue Author Associations
- Collaborator (157, 38.48%)
- Member (155, 37.99%)
- Contributor (66, 16.18%)
- None (30, 7.35%)
Pull Request Author Associations
- Collaborator (285, 45.45%)
- Member (183, 29.19%)
- Contributor (113, 18.02%)
- None (46, 7.34%)
Top Issue Authors
- bugarela (136)
- konnov (95)
- shonfeder (76)
- p-offtermatt (27)
- thpani (12)
- ivan-gavran (6)
- romac (6)
- lasarojc (6)
- cason (5)
- see-quick (3)
- rnbguy (3)
- otrack (2)
- lorenzleutgeb (2)
- hvanz (2)
- lucab (2)
Top Pull Request Authors
- bugarela (252)
- shonfeder (101)
- konnov (64)
- thpani (31)
- MahtabNorouzi (25)
- romac (22)
- josef-widder (9)
- see-quick (8)
- rnbguy (8)
- lucab (5)
- ivan-gavran (5)
- TSPMP (4)
- OakenKnight (4)
- kirdatatjana (4)
- hashpalk (4)
All Maintainers
- bugarela (388)
- shonfeder (160)
- konnov (111)
- p-offtermatt (29)
- romac (28)
- MahtabNorouzi (25)
- rnbguy (11)
- josef-widder (10)
- kirdatatjana (4)
- OakenKnight (2)
- ebuchman (2)
- hvanz (2)
- beu5a (2)
- aaronmw (2)
- Kukovec (2)
Active Maintainers
- bugarela (155)
- MahtabNorouzi (12)
- josef-widder (8)
- rnbguy (7)
- romac (7)
- kirdatatjana (4)
- ebuchman (2)
- aaronmw (2)
- beu5a (2)
- OakenKnight (2)
Top Issue Labels
- bug (72)
- usability (50)
- feedback (31)
- simulator (28)
- impact-low (23)
- effort-easy (20)
- doc (14)
- language design (13)
- effort-medium (13)
- repl (13)
- impact-medium (12)
- tech-debt (11)
- typechecker (11)
- Flanguage (11)
- Fsimulator (phase 5a) (10)
- tla+ transpilation (9)
- Ftranspiler (phase 5b) (9)
- Ftypecheck (phase 4) (9)
- impact-high (9)
- modularity (8)
- flattening (8)
- Feffects (phase 3) (8)
- UX (8)
- example (6)
- effect system (6)
- error messages (6)
- Frepl (6)
- Fparser (phase 1) (5)
- effort-hard (5)
- good first issue (5)
Top Pull Request Labels
- doc (5)
- bug (3)
- feedback (2)
- example (2)
- Fvscode (2)
- usability (2)
- refactoring (2)
- devops (1)
- Fsimulator (phase 5a) (1)
- demo (1)
- Frepl (1)
- Fparser (phase 1) (1)
- architecture (1)
- blocked (1)
- tech-debt (1)