GitHub / hoheinzollern issue stats
Total issues: 23
Total pull requests: 51
Merged pull request: 37
Average time to close issues: 4 months
Average time to close pull requests: about 1 month
Average comments per issue: 0.96
Average comments per pull request: 1.94
Issues created
Pull requests created
- math-comp/analysis: 19
- math-comp/math-comp: 7
- hoheinzollern/robustmean: 6
- math-comp/finmap: 4
- affeldt-aist/infotheo: 3
- rocq-prover/opam: 3
- hoheinzollern/edhoc-journal: 1
- ivmai/bdwgc: 1
- math-comp/docker-mathcomp: 1
- ProofGeneral/PG: 1
- amtal/CoreErlang: 1
- affeldt-aist/rocqnavi: 1
- math-comp/hierarchy-builder: 1
- hoheinzollern/workshop-cybersikkehed: 1
- affeldt-aist/ssrmint: 1
Maintainer
Active Maintainer
Issue Author Associations
- Member (11, 47.83%)
- Collaborator (5, 21.74%)
- Contributor (4, 17.39%)
- None (3, 13.04%)
Pull Request Author Associations
- Member (17, 33.33%)
- Contributor (12, 23.53%)
- Collaborator (12, 23.53%)
- Owner (8, 15.69%)
- None (2, 3.92%)
Top Issue Labels
- build/continuous integration :gear: (3)
- enhancement (2)
- documentation :memo: (2)
- kind: documentation (1)
- part: ssreflect (1)
- kind: question (1)
- kind: wish (1)
- needs: drop 8.20 (1)
Top Pull Request Labels
- enhancement :sparkles: (2)
- kind: build (1)
- TODO: MC2 port (1)
- "bug" :bug: (1)