Ecosyste.ms: Issues

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

GitHub / jsalzbergedu issue stats

Total issues: 6
Total pull requests: 2
Merged pull request: 1
Average time to close issues: 14 days
Average time to close pull requests: 6 months
Average comments per issue: 3.33
Average comments per pull request: 0.5

Issues created

gustavcedersjo/multij: 3
realgud/realgud: 1
the-little-typer/pie: 1
model-checking/kani: 1

Pull requests created

capnproto/capnproto-java: 1
model-checking/kani: 1

Maintainer

Active Maintainer

Issue Author Associations

None (5, 83.33%)
Contributor (1, 16.67%)

Pull Request Author Associations

None (1, 50.00%)
Contributor (1, 50.00%)

Top Issue Labels

[C] Bug (1)
T-High Priority (1)
[F] Soundness (1)

Top Pull Request Labels

Z-BenchCI (1)