Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / soonho-tri issue stats
Total issues: 8
Total pull requests: 14
Merged pull request: 14
Average time to close issues: over 1 year
Average time to close pull requests: about 4 hours
Average comments per issue: 0.63
Average comments per pull request: 1.29
Issues created
- dreal/dreal4: 8
Pull requests created
- dreal/dreal4: 14
Maintainer
- dreal/dreal4: 22
Active Maintainer
Issue Author Associations
- Member (8, 100.00%)
Pull Request Author Associations
- Member (14, 100.00%)
Top Issue Labels
- enhancement (2)
- smt2 (2)
- python (2)
- next (1)
Top Pull Request Labels
- smt2 (3)