Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / verus-lang / verus issue stats
Last synced: 3 days ago
Total issues: 141
Total pull requests: 202
Average time to close issues: about 2 months
Average time to close pull requests: 12 days
Total issue authors: 33
Total pull request authors: 37
Average comments per issue: 1.84
Average comments per pull request: 1.63
Merged pull requests: 142
Bot issues: 0
Bot pull requests: 0
Past year issues: 105
Past year pull requests: 116
Past year average time to close issues: 17 days
Past year average time to close pull requests: 11 days
Past year issue authors: 31
Past year pull request authors: 32
Past year average comments per issue: 1.77
Past year average comments per pull request: 1.7
Past year merged pull requests: 76
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/verus-lang%2Fverus
Issue Author Associations
- Collaborator (75, 53.19%)
- None (40, 28.37%)
- Contributor (26, 18.44%)
Pull Request Author Associations
- Collaborator (148, 73.27%)
- Contributor (45, 22.28%)
- None (9, 4.46%)
Top Issue Authors
- tjhance (25)
- utaal (16)
- y1ca1 (10)
- jaylorch (10)
- jonhnet (10)
- zpzigi754 (7)
- pratapsingh1729 (6)
- clemsys (5)
- gancherj (5)
- chanheec (4)
- hayley-leblanc (4)
- zeldovich (3)
- matthias-brun (3)
- BLepers (3)
- chrihop (3)
Top Pull Request Authors
- tjhance (57)
- utaal (33)
- Chris-Hawblitzel (18)
- parno (9)
- ouuan (9)
- jaylorch (8)
- hayley-leblanc (7)
- chanheec (7)
- mmcloughlin (5)
- jaybosamiya-ms (4)
- jonhnet (4)
- zpzigi754 (3)
- achreto (3)
- matthias-brun (3)
- yizhou7 (2)
All Maintainers
- tjhance (82)
- utaal (49)
- Chris-Hawblitzel (21)
- jaylorch (18)
- jonhnet (14)
- hayley-leblanc (11)
- parno (11)
- matthias-brun (6)
- achreto (3)
- ahuoguo (2)
- tchajed (2)
- jcp19 (1)
- lenianiva (1)
- marshtompsxd (1)
- ziqiaozhou (1)
Active Maintainers
- tjhance (26)
- utaal (17)
- Chris-Hawblitzel (16)
- jaylorch (14)
- jonhnet (12)
- parno (11)
- hayley-leblanc (9)
- matthias-brun (5)
- tchajed (2)
- achreto (1)
- lenianiva (1)
- marshtompsxd (1)
Top Issue Labels
- soundness (8)
- incompleteness (4)
- test-coverage (2)
- blocking (2)