Ecosyste.ms: Issues

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

GitHub / kim-em issue stats

Total issues: 2
Total pull requests: 35
Merged pull request: 25
Average time to close issues: N/A
Average time to close pull requests: about 2 months
Average comments per issue: 3.0
Average comments per pull request: 1.43

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

  • Collaborator (2, 100.00%)

Pull Request Author Associations

  • Collaborator (34, 97.14%)
  • None (1, 2.86%)

Top Issue Labels

  • Lake (2)
  • feature (1)
  • bug (1)
  • new-user-papercuts (1)

Top Pull Request Labels

  • toolchain-available (32)
  • builds-mathlib (7)
  • release-ci (2)
  • WIP (2)
  • help wanted (1)
  • awaiting-review (1)
  • breaks-mathlib (1)