Ecosyste.ms: Issues

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

GitHub / ChuyueSun issue stats

Total issues: 8
Total pull requests: 51
Merged pull request: 40
Average time to close issues: 20 days
Average time to close pull requests: 1 day
Average comments per issue: 1.25
Average comments per pull request: 0.25

Issues created

dafny-lang/dafny: 8

Pull requests created

Z3Prover/z3: 51

Maintainer

Active Maintainer

Issue Author Associations

None (8, 100.00%)

Pull Request Author Associations

Contributor (51, 100.00%)

Top Issue Labels

part: documentation (4)
kind: bug (2)
kind: question (1)
kind: enhancement (1)