Ecosyste.ms: Issues

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

GitHub / racko issue stats

Total issues: 19
Total pull requests: 6
Merged pull request: 1
Average time to close issues: 12 days
Average time to close pull requests: about 1 month
Average comments per issue: 1.84
Average comments per pull request: 0.5

Issues created

dafny-lang/dafny: 14
google/fuzztest: 3
the-little-typer/pie: 1
QuantStack/memestra: 1

Pull requests created

dafny-lang/dafny: 3
google/fuzztest: 3

Maintainer

Active Maintainer

Issue Author Associations

None (15, 78.95%)
Contributor (4, 21.05%)

Pull Request Author Associations

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

Top Issue Labels

part: documentation (9)
kind: bug (4)
kind: enhancement (2)
severity: crash (1)
area: error-reporting (1)