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: 3 days ago

Total issues: 226
Total pull requests: 379
Average time to close issues: over 2 years
Average time to close pull requests: about 2 months
Total issue authors: 71
Total pull request authors: 39
Average comments per issue: 3.47
Average comments per pull request: 8.84
Merged pull requests: 160
Bot issues: 0
Bot pull requests: 0

Past year issues: 85
Past year pull requests: 178
Past year average time to close issues: about 1 month
Past year average time to close pull requests: 29 days
Past year issue authors: 42
Past year pull request authors: 28
Past year average comments per issue: 2.73
Past year average comments per pull request: 8.01
Past year merged pull requests: 87
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 (132, 58.41%)
  • Member (61, 26.99%)
  • None (33, 14.60%)

Pull Request Author Associations

  • Contributor (222, 58.58%)
  • Member (147, 38.79%)
  • None (10, 2.64%)

Top Issue Authors

Top Pull Request Authors

All Maintainers

Active Maintainers

Top Issue Labels

  • kind: bug (64)
  • kind: wish (29)
  • needs: triage (28)
  • part: tactics (23)
  • part: ltac2 (16)
  • kind: enhancement (15)
  • kind: anomaly (12)
  • part: ltac (12)
  • kind: user messages (10)
  • resolved: won't fix (8)
  • kind: feature (8)
  • part: notations (6)
  • part: modules (6)
  • kind: question (5)
  • kind: infrastructure (5)
  • part: unification (5)
  • part: universes (5)
  • part: extraction (5)
  • part: primitive types (5)
  • part: typeclasses (5)
  • kind: regression (5)
  • part: standard library (4)
  • kind: design discussion (4)
  • part: native compiler (4)
  • kind: documentation (4)
  • kind: performance (4)
  • part: CoqIDE (3)
  • platform: Windows (3)
  • resolved: duplicate(d) (3)
  • part: VM (3)

Top Pull Request Labels

  • needs: full CI (113)
  • kind: fix (72)
  • kind: cleanup (55)
  • kind: infrastructure (51)
  • needs: rebase (51)
  • kind: enhancement (41)
  • stale (28)
  • kind: documentation (26)
  • part: standard library (18)
  • kind: internal (18)
  • kind: performance (18)
  • kind: feature (15)
  • kind: user messages (15)
  • part: CI (14)
  • needs: fixing (11)
  • part: ltac2 (11)
  • part: notations (11)
  • part: tactics (9)
  • needs: changelog entry (8)
  • needs: progress (8)
  • part: vernac (7)
  • needs: discussion (7)
  • part: extraction (7)
  • needs: merge of dependency (7)
  • part: build (6)
  • part: universes (6)
  • needs: overlay (5)
  • part: micromega (5)
  • part: kernel (4)
  • kind: experiment (4)