GitHub / math-comp / math-comp issue stats
Last synced: about 1 month ago
Total issues: 113
Total pull requests: 457
Average time to close issues: 9 months
Average time to close pull requests: about 2 months
Total issue authors: 27
Total pull request authors: 37
Average comments per issue: 2.84
Average comments per pull request: 2.59
Merged pull requests: 387
Bot issues: 0
Bot pull requests: 0
Past year issues: 42
Past year pull requests: 185
Past year average time to close issues: about 1 month
Past year average time to close pull requests: 12 days
Past year issue authors: 13
Past year pull request authors: 22
Past year average comments per issue: 1.36
Past year average comments per pull request: 1.89
Past year merged pull requests: 163
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/math-comp%2Fmath-comp
Issue Author Associations
- Member (78, 69.03%)
- Contributor (19, 16.81%)
- None (13, 11.50%)
Pull Request Author Associations
- Contributor (250, 54.70%)
- Member (190, 41.58%)
- None (2, 0.44%)
Top Issue Authors
- pi8027 (25)
- affeldt-aist (21)
- CohenCyril (11)
- proux01 (8)
- thery (6)
- erikmd (4)
- hivert (4)
- Tragicus (4)
- MSoegtropIMC (3)
- SnarkBoojum (3)
- hoheinzollern (3)
- gares (2)
- ybertot (2)
- vzaliva (1)
- ASamSam (1)
Top Pull Request Authors
- proux01 (159)
- affeldt-aist (51)
- pi8027 (49)
- Tragicus (37)
- CohenCyril (37)
- thery (21)
- erikmd (14)
- jouvelot (13)
- pPomCo (7)
- hoheinzollern (7)
- hivert (6)
- gares (6)
- ybertot (3)
- KimayaBedarkar (3)
- ggonthier (2)
All Maintainers
- pi8027 (74)
- affeldt-aist (72)
- CohenCyril (48)
- thery (27)
- erikmd (18)
- hivert (10)
- gares (8)
- ybertot (5)
- chdoc (2)
- hoheinzollern (1)
- t6s (1)
- amahboubi (1)
- strub (1)
Active Maintainers
- affeldt-aist (25)
- pi8027 (22)
- CohenCyril (19)
- hivert (6)
- erikmd (5)
- thery (3)
- gares (1)
- hoheinzollern (1)
- t6s (1)
- ybertot (1)
Top Issue Labels
- kind: enhancement (11)
- kind: documentation (6)
- kind: refactoring (6)
- kind: bug (4)
- kind: CI (3)
- kind: meta-issue (2)
- kind: clean-up (2)
- kind: build (2)
- kind: warning (1)
- needs: discussion (1)
- needs: assignee (1)
- needs: coq 8.18 (1)
- kind: question (1)
- kind: fix (1)
Top Pull Request Labels
- kind: enhancement (14)
- kind: CI (9)
- kind: clean-up (8)
- kind: documentation (8)
- kind: fix (7)
- kind: refactoring (6)
- needs: fix (4)
- TODO: MC-1 port (4)
- needs: rebase (3)
- needs: coq 8.18 (2)
- drops: coq 8.16 (2)
- drops: coq 8.17 (2)
- needs: assignee (2)
- needs: merge of dependencies (2)
- drops: coq 8.20 (1)
- kind: help wanted (1)
- needs: more development (1)
- kind: build (1)
- kind: warning (1)