Ecosyste.ms: Issues

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

GitHub / coq / coq issue stats

Last synced: 2 days ago

Total issues: 397
Total pull requests: 843
Average time to close issues: over 1 year
Average time to close pull requests: about 2 months
Total issue authors: 102
Total pull request authors: 65
Average comments per issue: 3.23
Average comments per pull request: 7.65
Merged pull requests: 430
Bot issues: 0
Bot pull requests: 0

Past year issues: 219
Past year pull requests: 592
Past year average time to close issues: 19 days
Past year average time to close pull requests: 23 days
Past year issue authors: 68
Past year pull request authors: 47
Past year average comments per issue: 1.89
Past year average comments per pull request: 6.29
Past year merged pull requests: 331
Past year bot issues: 0
Past year bot pull requests: 0

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/coq/coq
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/coq%2Fcoq

Issue Author Associations

  • Contributor (204, 51.39%)
  • Member (125, 31.49%)
  • None (68, 17.13%)

Pull Request Author Associations

  • Contributor (534, 63.35%)
  • Member (289, 34.28%)
  • None (20, 2.37%)

Top Issue Authors

Top Pull Request Authors

All Maintainers

Active Maintainers

Top Issue Labels

  • kind: bug (158)
  • needs: triage (75)
  • kind: wish (54)
  • part: tactics (33)
  • kind: user messages (26)
  • part: ltac2 (22)
  • kind: enhancement (20)
  • kind: anomaly (18)
  • part: notations (17)
  • part: modules (14)
  • part: ltac (14)
  • kind: performance (12)
  • kind: feature (12)
  • kind: documentation (11)
  • kind: regression (10)
  • resolved: won't fix (8)
  • part: SProp (8)
  • kind: design discussion (8)
  • kind: question (7)
  • part: native compiler (7)
  • part: universes (7)
  • part: standard library (6)
  • kind: infrastructure (6)
  • priority: blocker (6)
  • part: micromega (6)
  • part: build (6)
  • part: primitive records (6)
  • part: extraction (5)
  • part: primitive types (5)
  • resolved: duplicate(d) (5)

Top Pull Request Labels

  • needs: full CI (196)
  • kind: cleanup (151)
  • kind: fix (130)
  • kind: infrastructure (126)
  • needs: rebase (119)
  • kind: documentation (82)
  • kind: enhancement (81)
  • stale (77)
  • part: standard library (68)
  • kind: user messages (40)
  • kind: performance (37)
  • kind: feature (36)
  • needs: progress (24)
  • needs: fixing (24)
  • kind: internal (24)
  • part: build (19)
  • part: ltac2 (19)
  • needs: changelog entry (19)
  • part: CI (18)
  • needs: merge of dependency (17)
  • part: tactics (16)
  • needs: overlay (16)
  • kind: redesign (16)
  • needs: discussion (15)
  • part: notations (13)
  • part: vernac (11)
  • part: universes (11)
  • part: extraction (11)
  • part: coqdep (9)
  • needs: documentation (9)