Ecosyste.ms: Issues

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

GitHub / rocq-archive / coq-serapi issue stats

Last synced: 12 days ago

Total issues: 83
Total pull requests: 117
Average time to close issues: over 1 year
Average time to close pull requests: 16 days
Total issue authors: 27
Total pull request authors: 19
Average comments per issue: 6.83
Average comments per pull request: 1.22
Merged pull requests: 107
Bot issues: 0
Bot pull requests: 0

Past year issues: 9
Past year pull requests: 40
Past year average time to close issues: about 1 month
Past year average time to close pull requests: 8 days
Past year issue authors: 7
Past year pull request authors: 8
Past year average comments per issue: 4.22
Past year average comments per pull request: 0.3
Past year merged pull requests: 36
Past year bot issues: 0
Past year bot pull requests: 0

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

Issue Author Associations

Collaborator (43, 51.81%)
None (29, 34.94%)
Contributor (11, 13.25%)

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)
jimyu94 (4)
SnarkBoojum (4)
anton-trunov (3)
riswords (3)
MSoegtropIMC (3)
psteckler (2)
rtetley (2)
Zimmi48 (2)
toku-sa-n (2)
yangky11 (2)
hannesm (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

Active Maintainers

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)