Ecosyste.ms: Issues

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

GitHub / Frigory33 issue stats

Total issues: 3
Total pull requests: 6
Merged pull request: 5
Average time to close issues: 11 days
Average time to close pull requests: 6 days
Average comments per issue: 1.0
Average comments per pull request: 4.17


Maintainer

Active Maintainer


Issue Author Associations

  • Contributor (3, 100.00%)

Pull Request Author Associations

  • Contributor (5, 83.33%)
  • None (1, 16.67%)

Top Issue Labels

Top Pull Request Labels

  • needs: full CI (1)
  • part: CoqIDE (1)
  • kind: usability (1)