Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / marcogario issue stats
Total issues: 23
Total pull requests: 28
Merged pull request: 22
Average time to close issues: almost 5 years
Average time to close pull requests: about 1 month
Average comments per issue: 1.52
Average comments per pull request: 0.75
Issues created
- pysmt/pysmt: 20
- pysmt/pyPicoSAT: 3
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (23, 100.00%)
Pull Request Author Associations
- Contributor (25, 89.29%)
- Collaborator (2, 7.14%)
- None (1, 3.57%)
Top Issue Labels
- enhancement (13)
- help wanted (6)
- question (5)
- solver-bug (1)