Ecosyste.ms: Issues

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

GitHub / rindPHI issue stats

Total issues: 15
Total pull requests: 59
Merged pull request: 52
Average time to close issues: 2 months
Average time to close pull requests: 10 days
Average comments per issue: 0.53
Average comments per pull request: 0.17

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

  • Owner (10, 66.67%)
  • None (3, 20.00%)
  • Collaborator (2, 13.33%)

Pull Request Author Associations

  • Owner (57, 96.61%)
  • None (2, 3.39%)

Top Issue Labels

  • parser (5)
  • minor (4)
  • bug (4)
  • medium (3)
  • enhancement (3)
  • good first issue (2)
  • completeness (2)
  • SMT-LIB (1)
  • critical (1)
  • Type: Bug (1)
  • Priority: High (1)
  • Effort: Low (1)
  • Needs: Test (1)
  • help wanted (1)

Top Pull Request Labels

  • next-gen (1)