Ecosyste.ms: Issues

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

GitHub / arc3x issue stats

Total issues: 11
Total pull requests: 26
Merged pull request: 24
Average time to close issues: 10 days
Average time to close pull requests: about 5 hours
Average comments per issue: 2.18
Average comments per pull request: 0.19

Issues created

Rust-Proof/rustproof: 11

Pull requests created

Rust-Proof/rustproof: 15
Rust-Proof/libsmt.rs: 9
darwiin/yaac-another-awesome-cv: 1
bartmassey/ttt-bench: 1

Maintainer

Active Maintainer

Issue Author Associations

Contributor (11, 100.00%)

Pull Request Author Associations

Contributor (16, 61.54%)
None (10, 38.46%)

Top Issue Labels

help wanted (1)

Top Pull Request Labels

Approved-bajr (1)