Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / nafur issue stats
Total issues: 14
Total pull requests: 66
Merged pull request: 62
Average time to close issues: 1 day
Average time to close pull requests: about 1 month
Average comments per issue: 1.36
Average comments per pull request: 0.79
Issues created
Pull requests created
- sri-csl/libpoly: 53
- ddsmt/ddSMT: 7
- z4r/python-rtkit: 1
- msoos/cryptominisat: 1
- cvc5/cvc5: 1
- andrewsayre/pyheos: 1
- boostorg/interval: 1
- adRise/update-pr-branch: 1
Maintainer
- sri-csl/libpoly: 61
- ddsmt/ddSMT: 7
- cvc5/cvc5: 2
Active Maintainer
Issue Author Associations
- Collaborator (8, 57.14%)
- None (4, 28.57%)
- Member (1, 7.14%)
- Contributor (1, 7.14%)
Pull Request Author Associations
- Collaborator (60, 90.91%)
- None (3, 4.55%)
- Contributor (2, 3.03%)
- Member (1, 1.52%)
Top Issue Labels
- bug (3)
Top Pull Request Labels
- enhancement (7)
- bug (6)
- minor (1)
- moderate (1)