Ecosyste.ms: Issues

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

GitHub / xtrm0 issue stats

Total issues: 8
Total pull requests: 3
Merged pull request: 2
Average time to close issues: over 1 year
Average time to close pull requests: 6 days
Average comments per issue: 1.75
Average comments per pull request: 0.33

Issues created

dafny-lang/dafny: 3
benkaiser/stretto: 1
Swatinem/rust-cache: 1
voldyman/basebot: 1
code-specialist/fastapi-auth-middleware: 1
wainwrightmark/criterion-cycles-per-byte: 1

Pull requests created

voldyman/basebot: 1
siegebell/vscoq: 1
benchmark-action/github-action-benchmark: 1

Maintainer

Active Maintainer

Issue Author Associations

None (6, 75.00%)
Contributor (2, 25.00%)

Pull Request Author Associations

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

Top Issue Labels

kind: bug (2)
misc: update (1)
part: verifier (1)
kind: enhancement (1)
priority: not yet (1)