Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / yoni206 issue stats
Total issues: 6
Total pull requests: 29
Merged pull request: 22
Average time to close issues: about 2 months
Average time to close pull requests: 19 days
Average comments per issue: 5.33
Average comments per pull request: 0.59
Issues created
Pull requests created
- cvc5/cvc5: 22
- stanford-centaur/smt-switch: 5
- ddsmt/ddSMT: 2
Maintainer
Active Maintainer
- cvc5/cvc5: 19
Issue Author Associations
- None (5, 83.33%)
- Collaborator (1, 16.67%)
Pull Request Author Associations
- Member (22, 75.86%)
- Collaborator (5, 17.24%)
- Contributor (2, 6.90%)
Top Issue Labels
- enhancement (1)
Top Pull Request Labels
- minor (1)