Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mikand issue stats
Total issues: 7
Total pull requests: 13
Merged pull request: 7
Average time to close issues: about 4 years
Average time to close pull requests: 5 months
Average comments per issue: 4.71
Average comments per pull request: 1.38
Issues created
- pysmt/pysmt: 4
- Z3Prover/z3: 2
- pyparsing/pyparsing: 1
Pull requests created
- pysmt/pysmt: 11
- pysmt/yicespy: 1
- pysmt/repycudd: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (4, 57.14%)
- None (3, 42.86%)
Pull Request Author Associations
- Contributor (13, 100.00%)
Top Issue Labels
- enhancement (3)
- question (1)