Ecosyste.ms: Issues

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

GitHub / ffrohn issue stats

Total issues: 3
Total pull requests: 4
Merged pull request: 3
Average time to close issues: about 3 hours
Average time to close pull requests: 10 days
Average comments per issue: 0.67
Average comments per pull request: 0.75

Issues created

cvc5/cvc5: 1
jwaldmann/haskell-tpdb: 1
seahorn/crab: 1

Pull requests created

jwaldmann/star-exec-presenter: 2
cvc5/cvc5: 1
boombuler/piraten_map_server: 1

Maintainer

Active Maintainer

Issue Author Associations

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

Pull Request Author Associations

Contributor (4, 100.00%)

Top Issue Labels

bug (1)