Ecosyste.ms: Issues

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

GitHub / Eladkay issue stats

Total issues: 4
Total pull requests: 6
Merged pull request: 3
Average time to close issues: over 1 year
Average time to close pull requests: 20 days
Average comments per issue: 2.75
Average comments per pull request: 1.33

Issues created

Z3Prover/z3: 2
cvc5/cvc5: 1
Jire/Strukt: 1

Pull requests created

samshadwell/TrumpScript: 3
jscoq/jscoq: 3

Maintainer

Active Maintainer

Issue Author Associations

None (4, 100.00%)

Pull Request Author Associations

Contributor (6, 100.00%)