Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / prove-rs issue stats
Total issues: 100
Total pull requests: 154
Merged pull request: 112
Average time to close issues: 3 months
Average time to close pull requests: about 2 months
Average comments per issue: 1.87
Average comments per pull request: 1.77
Issues created
- prove-rs/z3.rs: 100
Pull requests created
- prove-rs/z3.rs: 154
Issue owner Associations
- None (68, 68.00%)
- Contributor (32, 32.00%)
Pull Request owner Associations
- Contributor (140, 90.91%)
- None (14, 9.09%)
All Maintainers
Active Maintainers
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)
- Trolldemorted (4)
- rlkelly (4)
- verpeteren (4)
- HKalbasi (4)
- lucascool12 (3)
- toolCHAINZ (2)
- skius (2)
- tyleretzel (2)
- Philipp15b (2)
- laszlo-nodebee (2)