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: 87
Total pull requests: 323
Merged pull request: 259
Average time to close issues: about 1 year
Average time to close pull requests: about 2 months
Average comments per issue: 3.16
Average comments per pull request: 2.71

Issues created

Pull requests created


Issue owner Associations

  • Member (61, 70.11%)
  • Contributor (15, 17.24%)
  • None (11, 12.64%)

Pull Request owner Associations

  • Contributor (176, 54.49%)
  • Member (146, 45.20%)
  • None (1, 0.31%)

All Maintainers

Active Maintainers


Top Issue Authors

Top Pull Request Authors


Top Issue Labels

  • kind: enhancement (9)
  • kind: documentation (5)
  • kind: refactoring (4)
  • kind: meta-issue (2)
  • kind: question (2)
  • kind: warning (1)
  • kind: CI (1)
  • needs: discussion (1)
  • needs: assignee (1)
  • kind: build (1)
  • needs: coq 8.18 (1)
  • kind: bug (1)
  • kind: clean-up (1)
  • kind: fix (1)

Top Pull Request Labels

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