GitHub / jscoq issue stats
Total issues: 81
Total pull requests: 82
Merged pull request: 50
Average time to close issues: about 1 year
Average time to close pull requests: 3 months
Average comments per issue: 3.75
Average comments per pull request: 2.26
Issues created
Pull requests created
Issue owner Associations
- Member (41, 50.62%)
- None (38, 46.91%)
- Collaborator (1, 1.23%)
- Contributor (1, 1.23%)
Pull Request owner Associations
- Member (57, 69.51%)
- Contributor (16, 19.51%)
- Collaborator (5, 6.10%)
- None (4, 4.88%)
All Maintainers
- ejgallego (74)
- corwin-of-amber (24)
- artagnon (6)
Active Maintainers
- ejgallego (14)
Top Issue Authors
- ejgallego (28)
- corwin-of-amber (13)
- jnarboux (7)
- gares (3)
- LasseBlaauwbroek (2)
- Villetaneuse (2)
- praalhans (2)
- modulovalue (2)
- kutschkem (1)
- LigoSuzanneSoy (1)
- lironco (1)
- M-krishna (1)
- palmskog (1)
- vassilmladenov (1)
- volodeyka (1)
Top Pull Request Authors
- ejgallego (46)
- corwin-of-amber (11)
- dependabot[bot] 🤖 (10)
- artagnon (5)
- Eladkay (2)
- palmskog (2)
- CohenCyril (1)
- hhugo (1)
- ksk (1)
- LasseBlaauwbroek (1)
- pinbe (1)
- praalhans (1)
Top Issue Labels
- kind: ui (13)
- kind: enhancement (10)
- fixed by: fleche (8)
- kind: bug (5)
- kind: build (5)
- help wanted (4)
- upstream (4)
- kind: packaging (3)
- kind: js-backend (2)
- part: cm5 (2)
- kind: cleanup (2)
- kind: question (2)
- kind: meta (2)
- needs: wacoq update (1)
- blocked (1)
Top Pull Request Labels
- kind: build (20)
- kind: cleanup (16)
- kind: enhancement (12)
- kind: packaging (12)
- dependencies (11)
- kind: fix (11)
- part: ci (8)
- part: browser frontend (6)
- kind: js-backend (5)
- part: backend (4)
- kind: ui (4)
- kind: documentation (2)
- upstream (2)
- part: documentation (1)
- needs: fixing (1)