Ecosyste.ms: Issues

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

GitHub / ramsdell issue stats

Total issues: 14
Total pull requests: 3
Merged pull request: 2
Average time to close issues: 15 days
Average time to close pull requests: 19 days
Average comments per issue: 2.64
Average comments per pull request: 1.0

Issues created

sslab-gatech/opensgx: 5
GaloisInc/cryptol-specs: 4
GaloisInc/cryptol: 3
haskell/cabal: 2

Pull requests created

GaloisInc/cryptol-specs: 3

Maintainer

Active Maintainer

Issue Author Associations

None (8, 57.14%)
Contributor (6, 42.86%)

Pull Request Author Associations

Contributor (3, 100.00%)

Top Issue Labels

low-hanging fruit (1)
type: enhancement (1)
old-milestone: ⊥ (1)
typechecker (1)