Ecosyste.ms: Issues

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

GitHub / qinheping issue stats

Total issues: 8
Total pull requests: 49
Merged pull request: 38
Average time to close issues: 4 months
Average time to close pull requests: about 2 months
Average comments per issue: 1.13
Average comments per pull request: 1.41

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

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

Pull Request Author Associations

  • Contributor (27, 55.10%)
  • Collaborator (22, 44.90%)

Top Issue Labels

  • Code Contracts (3)
  • [C] Bug (2)
  • aws (2)
  • bug (2)
  • [C] Feature / Enhancement (1)
  • Z-Contracts (1)

Top Pull Request Labels

  • Z-BenchCI (14)
  • aws (11)
  • Code Contracts (10)
  • Synthesis (6)
  • aws-high (3)
  • Z-Contracts (3)
  • T-RFC (2)
  • bugfix (2)
  • Kani (2)
  • cbmc (2)
  • dependent - do not merge (1)
  • aws-medium (1)
  • needs-review (1)