Ecosyste.ms: Issues

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

GitHub / hendriktews issue stats

Total issues: 18
Total pull requests: 68
Merged pull request: 56
Average time to close issues: almost 2 years
Average time to close pull requests: 2 months
Average comments per issue: 3.5
Average comments per pull request: 1.84

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

  • Collaborator (9, 50.00%)
  • None (7, 38.89%)
  • Owner (2, 11.11%)

Pull Request Author Associations

  • Collaborator (67, 98.53%)
  • None (1, 1.47%)

Top Issue Labels

  • enhancement (2)
  • question (2)
  • kind: bug (1)
  • kind: test (1)
  • part: toplevel (1)
  • kind: wish (1)

Top Pull Request Labels

  • kind: fix (4)
  • kind: test (3)
  • kind: enhancement (2)
  • kind: infrastructure (2)
  • part: coq-compile (2)
  • kind: documentation (1)