Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / daniel-larraz issue stats

Total issues: 11
Total pull requests: 152
Merged pull request: 138
Average time to close issues: 4 days
Average time to close pull requests: 3 days
Average comments per issue: 1.09
Average comments per pull request: 0.14

Issues created

cvc5/cvc5: 4
ultimate-pa/smtinterpol: 3
Boolector/boolector: 2
janestreet/base: 1
pypa/setuptools: 1

Pull requests created

cvc5/cvc5: 151
gbury/dolmen: 1

Maintainer

Active Maintainer

Issue Author Associations

None (8, 72.73%)
Contributor (3, 27.27%)

Pull Request Author Associations

Contributor (151, 99.34%)
None (1, 0.66%)

Top Issue Labels

bug (2)
duplicate (1)

Top Pull Request Labels

normal (123)
simple (112)
moderate (35)
ci (34)
minor (16)
major (9)