Ecosyste.ms: Issues

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

GitHub / mcodescu issue stats

Total issues: 9
Total pull requests: 7
Merged pull request: 2
Average time to close issues: 4 months
Average time to close pull requests: 22 minutes
Average comments per issue: 2.33
Average comments per pull request: 2.43

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

  • Collaborator (5, 55.56%)
  • None (4, 44.44%)

Pull Request Author Associations

  • Collaborator (7, 100.00%)

Top Issue Labels

  • bug (2)
  • question (2)
  • C:OWL (2)
  • P:major (2)
  • C:provers (1)
  • P:critical (1)
  • enhancement (1)
  • C:CommonLogic (1)
  • HETS (1)
  • Music (1)

Top Pull Request Labels