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

GitHub / theosotr issue stats

Total issues: 32
Total pull requests: 62
Merged pull request: 43
Average time to close issues: 2 months
Average time to close pull requests: 4 months
Average comments per issue: 0.66
Average comments per pull request: 1.32


Active Maintainer


Issue Author Associations

  • None (28, 87.50%)
  • Contributor (3, 9.38%)
  • Owner (1, 3.13%)

Pull Request Author Associations

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

Top Issue Labels

  • itype:bug (7)
  • itype:crash (3)
  • crash (3)
  • area:nullability (2)
  • False Negative (missing warning or unsoundness) (2)
  • area:parser (2)
  • enhancement (1)
  • register your interest (1)
  • area:private options (1)
  • area:reporting (1)
  • area:pattern-matching (1)
  • bug (1)
  • stat:needs triage (1)
  • area:pickling (1)
  • False Positive (false warning or imprecision) (1)

Top Pull Request Labels

  • bug (2)
  • Bug (1)