Ecosyste.ms: Issues

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

GitHub / ppedrot issue stats

Total issues: 4
Total pull requests: 45
Merged pull request: 38
Average time to close issues: 23 days
Average time to close pull requests: 9 days
Average comments per issue: 3.0
Average comments per pull request: 5.36

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

  • Member (3, 75.00%)
  • None (1, 25.00%)

Pull Request Author Associations

  • Contributor (35, 77.78%)
  • Member (10, 22.22%)

Top Issue Labels

  • part: primitive types (1)
  • kind: anomaly (1)
  • part: unification (1)
  • part: rewriting tactics (1)
  • kind: infrastructure (1)
  • part: test-suite (1)
  • needs: triage (1)

Top Pull Request Labels

  • needs: full CI (4)
  • kind: cleanup (4)
  • kind: performance (2)
  • kind: fix (2)
  • help wanted (1)
  • kind: feature (1)
  • part: ltac2 (1)