Ecosyste.ms: Issues

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

GitHub / swasey issue stats

Total issues: 1
Total pull requests: 3
Merged pull request: 0
Average time to close issues: N/A
Average time to close pull requests: 3 months
Average comments per issue: 1.0
Average comments per pull request: 1.67

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

  • None (1, 100.00%)

Pull Request Author Associations

  • None (2, 66.67%)
  • Contributor (1, 33.33%)

Top Issue Labels

Top Pull Request Labels

  • needs: fixing (1)
  • needs: rebase (1)
  • kind: user messages (1)
  • kind: enhancement (1)
  • part: coqdep (1)
  • stale (1)
  • needs: full CI (1)