Ecosyste.ms: Issues

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

GitHub / math-comp issue stats

Total issues: 70
Total pull requests: 253
Merged pull request: 207
Average time to close issues: about 1 year
Average time to close pull requests: about 2 months
Average comments per issue: 3.51
Average comments per pull request: 2.64

Issues created

Pull requests created


Issue owner Associations

  • Member (49, 70.00%)
  • Contributor (12, 17.14%)
  • None (9, 12.86%)

Pull Request owner Associations

  • Contributor (148, 58.50%)
  • Member (105, 41.50%)

All Maintainers

Active Maintainers


Top Issue Authors

Top Pull Request Authors


Top Issue Labels

  • kind: enhancement (6)
  • kind: documentation (2)
  • kind: meta-issue (2)
  • kind: warning (1)
  • kind: refactoring (1)
  • kind: CI (1)
  • needs: discussion (1)
  • needs: assignee (1)
  • kind: build (1)
  • needs: coq 8.18 (1)
  • kind: bug (1)

Top Pull Request Labels

  • kind: enhancement (8)
  • kind: clean-up (6)
  • TODO: MC-1 port (5)
  • kind: documentation (4)
  • kind: refactoring (4)
  • kind: CI (3)
  • needs: fix (3)
  • needs: merge of dependencies (3)
  • kind: fix (2)
  • needs: coq 8.18 (2)
  • drops: coq 8.16 (2)
  • drops: coq 8.17 (2)
  • needs: rebase (2)
  • kind: help wanted (1)
  • kind: warning (1)