Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ejgallego / coq-lsp issue stats
Last synced: about 2 months ago
Total issues: 61
Total pull requests: 110
Average time to close issues: 6 months
Average time to close pull requests: 12 days
Total issue authors: 8
Total pull request authors: 5
Average comments per issue: 2.61
Average comments per pull request: 1.2
Merged pull requests: 91
Bot issues: 0
Bot pull requests: 0
Past year issues: 18
Past year pull requests: 45
Past year average time to close issues: about 16 hours
Past year average time to close pull requests: 6 days
Past year issue authors: 4
Past year pull request authors: 3
Past year average comments per issue: 1.89
Past year average comments per pull request: 1.04
Past year merged pull requests: 34
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/ejgallego%2Fcoq-lsp
Issue Author Associations
- Owner (30, 49.18%)
- Collaborator (22, 36.07%)
- None (9, 14.75%)
Pull Request Author Associations
- Owner (75, 68.18%)
- Collaborator (33, 30.00%)
- Contributor (2, 1.82%)
Top Issue Authors
- ejgallego (30)
- Alizter (22)
- cpitclaudel (3)
- darbyhaller (2)
- BenjaminCB (1)
- dkhalansky (1)
- elidupree (1)
- patrick-nicodemus (1)
Top Pull Request Authors
- ejgallego (75)
- Alizter (25)
- artagnon (5)
- SkySkimmer (3)
- proux01 (2)
All Maintainers
- ejgallego (105)
- Alizter (47)
- artagnon (5)
- SkySkimmer (3)
Active Maintainers
- ejgallego (44)
- Alizter (11)
- SkySkimmer (3)
Top Issue Labels
- kind: enhancement (16)
- kind: bug (13)
- kind: meta (4)
- part: lsp server (4)
- part: protocol (LSP) (3)
- kind: upstream (3)
- part: web worker (3)
- platform: windows (2)
- part: client (VSCode) (2)
- part: packaging (2)
- part: Coq API (2)
- lsp: hover (2)
- part: protocol (custom) (1)
- part: deps (1)
- part: goals and info panel (1)
- part: workspace setup (1)
- part: flèche (1)
- part: documentation (1)
- kind: HCI design (1)
Top Pull Request Labels
- kind: enhancement (25)
- part: lsp server (13)
- kind: internal (12)
- kind: fix (11)
- part: flèche (9)
- part: upstream (9)
- part: Coq API (8)
- kind: upstream (8)
- kind: cleanup (7)
- part: client (VSCode) (7)
- part: build (6)
- part: protocol (LSP) (6)
- part: CI (6)
- part: deps (4)
- part: documentation (4)
- kind: redesign (3)
- part: serlib (3)
- part: workspace setup (3)
- part: protocol (custom) (2)
- kind: upstream-bug (2)
- kind: HCI design (2)
- lsp: hover (2)
- kind: meta (2)
- part: compiler (2)
- part: web worker (2)
- needs: test-case (2)
- needs: merge of dependency (1)
- platform: windows (1)
- part: petanque (1)
- needs: testing (1)