Ecosyste.ms: Issues

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

GitHub / MicroProofs issue stats

Total issues: 13
Total pull requests: 109
Merged pull request: 79
Average time to close issues: 3 months
Average time to close pull requests: 22 days
Average comments per issue: 1.46
Average comments per pull request: 0.7

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

  • Member (12, 92.31%)
  • Collaborator (1, 7.69%)

Pull Request Author Associations

  • Member (71, 65.14%)
  • Collaborator (32, 29.36%)
  • Contributor (6, 5.50%)

Top Issue Labels

  • bug (6)
  • language-server (5)
  • typechecking (1)

Top Pull Request Labels

  • code gen (18)
  • bug (11)
  • uplc (1)
  • enhancement (1)