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

GitHub / theosotr issue stats

Total issues: 14
Total pull requests: 62
Merged pull request: 43
Average time to close issues: 5 months
Average time to close pull requests: 4 months
Average comments per issue: 1.43
Average comments per pull request: 1.32


Active Maintainer


Issue Author Associations

  • None (10, 71.43%)
  • Contributor (3, 21.43%)
  • Owner (1, 7.14%)

Pull Request Author Associations

  • Contributor (44, 70.97%)
  • None (18, 29.03%)

Top Issue Labels

  • itype:bug (5)
  • itype:crash (2)
  • area:nullability (2)
  • area:parser (1)
  • Spree (1)
  • enhancement (1)
  • register your interest (1)
  • area:private options (1)
  • area:pickling (1)
  • area:reporting (1)
  • area:pattern-matching (1)
  • bug (1)
  • False Negative (missing warning or unsoundness) (1)

Top Pull Request Labels

  • bug (2)
  • Bug (1)