Ecosyste.ms: Issues

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

GitHub / GreenBeard issue stats

Total issues: 3
Total pull requests: 3
Merged pull request: 1
Average time to close issues: about 2 months
Average time to close pull requests: 19 days
Average comments per issue: 1.67
Average comments per pull request: 1.33

Issues created

prove-rs/z3.rs: 2
SRI-CSL/yices2: 1

Pull requests created

easylist/easylist: 2
prove-rs/z3.rs: 1

Maintainer

Active Maintainer

Issue Author Associations

Contributor (2, 66.67%)
None (1, 33.33%)

Pull Request Author Associations

None (2, 66.67%)
Contributor (1, 33.33%)

Top Issue Labels

enhancement (1)

Top Pull Request Labels

Easylist (2)