GitHub / ucsd-progsys / liquidhaskell issue stats
Last synced: 2 days ago
Total issues: 450
Total pull requests: 431
Average time to close issues: almost 2 years
Average time to close pull requests: 15 days
Total issue authors: 103
Total pull request authors: 33
Average comments per issue: 3.5
Average comments per pull request: 1.13
Merged pull requests: 348
Bot issues: 4
Bot pull requests: 6
Past year issues: 139
Past year pull requests: 232
Past year average time to close issues: 19 days
Past year average time to close pull requests: 2 days
Past year issue authors: 27
Past year pull request authors: 16
Past year average comments per issue: 3.4
Past year average comments per pull request: 0.88
Past year merged pull requests: 203
Past year bot issues: 4
Past year bot pull requests: 2
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquidhaskell
Issue Author Associations
- None (132, 29.33%)
- Contributor (99, 22.00%)
- Collaborator (59, 13.11%)
- Member (31, 6.89%)
Pull Request Author Associations
- Collaborator (140, 32.48%)
- Contributor (108, 25.06%)
- Member (33, 7.66%)
- None (4, 0.93%)
Top Issue Authors
- facundominguez (55)
- gergoerdi (21)
- nikivazou (17)
- ranjitjhala (14)
- amigalemming (11)
- rosekunkel (9)
- josedusol (8)
- clayrat (8)
- kleinreact (7)
- plredmond (7)
- mboes (6)
- jprider63 (5)
- Fizzixnerd (5)
- jwaldmann (5)
- googleson78 (5)
Top Pull Request Authors
- facundominguez (138)
- nikivazou (21)
- clayrat (20)
- gergoerdi (17)
- ranjitjhala (12)
- AlecsFerra (11)
- jarctan (8)
- dependabot[bot] 🤖 (6)
- tbidne (6)
- mboes (4)
- ninioArtillero (4)
- renanroberto (3)
- oquechy (3)
- matheussbernardo (3)
- yiyunliu (3)
All Maintainers
- facundominguez (193)
- nikivazou (38)
- ranjitjhala (26)
- adinapoli (3)
- yiyunliu (3)
Active Maintainers
- facundominguez (97)
- ranjitjhala (9)
- nikivazou (6)
Top Issue Labels
- good first issue (23)
- nameresolution (14)
- bug (12)
- errormsg (9)
- researchy (7)
- documentation (7)
- modules (6)
- enhancement (6)
- build failed (4)
- easy (3)
- termination (3)
- pbe (3)
- absref (2)
- proposal (2)
- implicits (2)
- prune-unsorted (2)
- unsoundness (2)
- plugin (1)
- parser (1)
- core-to-logic (1)
- question (1)
- adt (1)
- classes (1)
Top Pull Request Labels
- WIP: Don't Merge Yet (6)
- dependencies (6)
- Major GHC upgrade (4)