GitHub / rocq-archive / coq-serapi issue stats
Last synced: 3 months ago
Total issues: 84
Total pull requests: 117
Average time to close issues: over 1 year
Average time to close pull requests: 16 days
Total issue authors: 28
Total pull request authors: 19
Average comments per issue: 6.75
Average comments per pull request: 1.22
Merged pull requests: 107
Bot issues: 0
Bot pull requests: 0
Past year issues: 5
Past year pull requests: 16
Past year average time to close issues: 28 days
Past year average time to close pull requests: 7 days
Past year issue authors: 5
Past year pull request authors: 6
Past year average comments per issue: 4.8
Past year average comments per pull request: 0.5
Past year merged pull requests: 13
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-archive%2Fcoq-serapi
Issue Author Associations
- Collaborator (43, 51.19%)
- None (30, 35.71%)
- Contributor (11, 13.10%)
Pull Request Author Associations
- Collaborator (99, 84.62%)
- Contributor (16, 13.68%)
- None (2, 1.71%)
Top Issue Authors
- ejgallego (20)
- cpitclaudel (10)
- palmskog (7)
- Ptival (6)
- SnarkBoojum (4)
- jimyu94 (4)
- MSoegtropIMC (3)
- riswords (3)
- anton-trunov (3)
- yangky11 (2)
- rtetley (2)
- Zimmi48 (2)
- psteckler (2)
- toku-sa-n (2)
- gmalecha (1)
Top Pull Request Authors
- ejgallego (44)
- SkySkimmer (21)
- palmskog (18)
- ppedrot (9)
- proux01 (6)
- herbelin (3)
- rlepigre (3)
- swr1bm86 (2)
- Zimmi48 (1)
- JasonGross (1)
- afdw (1)
- yannl35133 (1)
- cpitclaudel (1)
- joelburget (1)
- gares (1)
All Maintainers
- ejgallego (64)
- palmskog (25)
- SkySkimmer (21)
- cpitclaudel (11)
- ppedrot (9)
- anton-trunov (4)
- herbelin (3)
- Zimmi48 (3)
- HazardousPeach (1)
- JasonGross (1)
Active Maintainers
- ppedrot (2)
- SkySkimmer (2)
- ejgallego (1)
Top Issue Labels
- kind: enhancement (16)
- kind: bug (12)
- in-progress (11)
- kind: upstream (11)
- protocol (10)
- question (9)
- kind: documentation (9)
- fixed by: flèche (8)
- sexplib (6)
- wontfix (5)
- help wanted (4)
- kind: serialization (2)
- moreinfo (1)
- kind: infrastructure (1)
- kind: meta (1)
- invalid (1)
- to investigate (1)
Top Pull Request Labels
- kind: upstream (54)
- kind: bug (20)
- kind: enhancement (18)
- kind: testing (11)
- kind: infrastructure (10)
- kind: serialization (9)
- kind: meta (5)
- kind: documentation (5)
- kind: cleanup (3)
- protocol (2)
- fixed by: flèche (1)
- part: async (1)