Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / prove-rs / z3.rs issue stats
Last synced: 13 days ago
Total issues: 100
Total pull requests: 154
Average time to close issues: 3 months
Average time to close pull requests: about 2 months
Total issue authors: 51
Total pull request authors: 38
Average comments per issue: 1.87
Average comments per pull request: 1.77
Merged pull requests: 112
Bot issues: 0
Bot pull requests: 0
Past year issues: 27
Past year pull requests: 47
Past year average time to close issues: 22 days
Past year average time to close pull requests: 15 days
Past year issue authors: 18
Past year pull request authors: 12
Past year average comments per issue: 2.11
Past year average comments per pull request: 1.87
Past year merged pull requests: 33
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/prove-rs%2Fz3.rs
Issue Author Associations
- None (68, 68.00%)
- Contributor (32, 32.00%)
Pull Request Author Associations
- Contributor (140, 90.91%)
- None (14, 9.09%)
Top Issue Authors
- ahelwer (8)
- Trolldemorted (4)
- HKalbasi (4)
- 108anup (4)
- SeeSpring (3)
- black-binary (3)
- LEAFERx (3)
- waywardmonkeys (3)
- hermanventer (3)
- shriphani (2)
- sadmac7000 (2)
- pcarbonn (2)
- Pat-Lafon (2)
- onthestairs (2)
- syheliel (2)
Top Pull Request Authors
- waywardmonkeys (38)
- Pat-Lafon (23)
- SeeSpring (19)
- AndesVL (6)
- TheVeryDarkness (5)
- rlkelly (4)
- HKalbasi (4)
- Trolldemorted (4)
- verpeteren (4)
- lucascool12 (3)
- black-binary (2)
- 108anup (2)
- dragazo (2)
- guanqun (2)
- dzhu (2)