Ecosyste.ms: Issues

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

GitHub / csgordon issue stats

Total issues: 8
Total pull requests: 1
Merged pull request: 0
Average time to close issues: over 2 years
Average time to close pull requests: almost 8 years
Average comments per issue: 3.5
Average comments per pull request: 3.0

Issues created

dginev/ar5iv: 2
viperproject/prusti-dev: 2
dafny-lang/dafny: 1
dvanhorn/redex-aam-tutorial: 1
freebsd/drm-kmod: 1
rp-rs/rp-hal: 1

Pull requests created

yallop/effects-bibliography: 1

Maintainer

Active Maintainer

Issue Author Associations

None (8, 100.00%)

Pull Request Author Associations

Contributor (1, 100.00%)

Top Issue Labels

bug (4)
medium (2)
needs-latex-package (2)
kind: bug (1)
part: verifier (1)
priority: not yet (1)
status: fixed (1)