Ecosyste.ms: Issues

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

GitHub / thomasspriggs issue stats

Total issues: 27
Total pull requests: 46
Merged pull request: 38
Average time to close issues: almost 2 years
Average time to close pull requests: 20 days
Average comments per issue: 0.85
Average comments per pull request: 1.83


Maintainer

Active Maintainer


Issue Author Associations

  • Contributor (26, 96.30%)
  • Collaborator (1, 3.70%)

Pull Request Author Associations

  • Contributor (44, 95.65%)
  • None (1, 2.17%)
  • Collaborator (1, 2.17%)

Top Issue Labels

  • Incomplete Incremental SMT2 (20)
  • RFC (3)
  • Version 6 (2)
  • Build (1)
  • C Front End (1)
  • enhancement (1)
  • pending merge (1)
  • Pointer Modelling (1)

Top Pull Request Labels

  • aws (4)
  • aws-high (4)
  • Version 6 (4)
  • do not review (2)
  • documentation (1)
  • SMT Backend Interface (1)
  • bugfix (1)