Ecosyste.ms: Issues

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

GitHub / MikaelMayer issue stats

Total issues: 109
Total pull requests: 106
Merged pull request: 82
Average time to close issues: 2 months
Average time to close pull requests: 13 days
Average comments per issue: 1.72
Average comments per pull request: 0.53

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

  • Member (94, 86.24%)
  • Owner (6, 5.50%)
  • Collaborator (5, 4.59%)
  • None (3, 2.75%)
  • Contributor (1, 0.92%)

Pull Request Author Associations

  • Member (83, 78.30%)
  • Collaborator (16, 15.09%)
  • None (4, 3.77%)
  • Contributor (2, 1.89%)
  • Owner (1, 0.94%)

Top Issue Labels

  • kind: bug (51)
  • kind: enhancement (16)
  • kind: language development speed (11)
  • priority: next (11)
  • part: language server (10)
  • makes-mikael-grateful (9)
  • severity: release-blocker (9)
  • part: verifier (9)
  • during 2: compilation of correct program (7)
  • during 1: program development (6)
  • area: error-reporting (5)
  • part: code-generation (5)
  • kind: incompleteness (4)
  • priority: not yet (4)
  • enhancement (4)

Top Pull Request Labels

  • run-deep-tests (4)
  • severity: release-blocker (2)
  • run-integration-tests (2)
  • need-check-proof-variability (1)
  • enhancement (1)