Ecosyste.ms: Issues

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

GitHub / Pireax issue stats

Total issues: 6
Total pull requests: 8
Merged pull request: 3
Average time to close issues: 3 days
Average time to close pull requests: about 1 year
Average comments per issue: 13.33
Average comments per pull request: 1.5


Maintainer

Active Maintainer


Issue Author Associations

  • None (4, 66.67%)
  • Contributor (2, 33.33%)

Pull Request Author Associations

  • None (5, 62.50%)
  • Contributor (3, 37.50%)

Top Issue Labels

  • help wanted (2)
  • wontfix (2)
  • kind: bug (1)
  • part: verifier (1)
  • part: boogie (1)
  • priority: next (1)
  • during 2: compilation of correct program (1)

Top Pull Request Labels