Ecosyste.ms: Issues

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

GitHub / coq-community issue stats

Total issues: 41
Total pull requests: 54
Merged pull request: 49
Average time to close issues: about 2 months
Average time to close pull requests: 21 days
Average comments per issue: 2.85
Average comments per pull request: 2.94

Issues created

Pull requests created

Issue owner Associations

  • Member (23, 56.10%)
  • Contributor (10, 24.39%)
  • None (8, 19.51%)

Pull Request owner Associations

  • Member (47, 87.04%)
  • Contributor (4, 7.41%)
  • None (3, 5.56%)

All Maintainers

Active Maintainers

Top Issue Authors

Top Pull Request Authors

Top Issue Labels

  • enhancement (9)
  • documentation (8)
  • question (7)
  • bug (6)
  • feature (4)
  • duplicate (1)
  • good first issue (1)

Top Pull Request Labels

  • documentation (20)
  • enhancement (14)
  • fix (11)
  • feature (6)
  • needs: rework (1)