Ecosyste.ms: Issues

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

GitHub / feliperodri issue stats

Total issues: 29
Total pull requests: 54
Merged pull request: 48
Average time to close issues: over 1 year
Average time to close pull requests: 21 days
Average comments per issue: 1.24
Average comments per pull request: 0.72

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

  • Contributor (25, 86.21%)
  • Collaborator (3, 10.34%)
  • None (1, 3.45%)

Pull Request Author Associations

  • Contributor (51, 94.44%)
  • Collaborator (3, 5.56%)

Top Issue Labels

  • p3 (7)
  • cbmc (7)
  • bug (6)
  • enhancement (5)
  • closed-for-staleness (5)
  • response-requested (5)
  • aws (3)
  • question (2)
  • needs-review (2)
  • aws-high (1)
  • [C] Feature / Enhancement (1)
  • Kani (1)
  • Z-Kani Compiler (1)
  • [C] Internal (1)
  • [E] Performance (1)

Top Pull Request Labels

  • Z-BenchCI (14)
  • enhancement (9)
  • aws (3)
  • documentation (2)
  • bug (2)
  • cbmc (1)
  • CBMC (1)
  • Status: Awaiting review (1)
  • aws-high (1)
  • do not review (1)
  • bug fix (1)
  • T-RFC (1)