GitHub / TheoWinterhalter issue stats
Total issues: 34
Total pull requests: 77
Merged pull request: 65
Average time to close issues: 5 months
Average time to close pull requests: 9 days
Average comments per issue: 2.15
Average comments per pull request: 1.58
Issues created
Pull requests created
- theowinterhalter/formal-type-theory: 26
- theowinterhalter/ghost-reflection: 13
- MetaRocq/metarocq: 12
- theowinterhalter/ett-to-itt: 8
- theowinterhalter/coq-partialfun: 5
- deducteam/coq-hol-light: 2
- coq/rfcs: 2
- theowinterhalter/pdm4all: 1
- coq/opam: 1
- theowinterhalter/sirtt: 1
- theowinterhalter/ocawb: 1
- MetaCoq/metacoq: 1
- theowinterhalter/resizing-reflection: 1
- rocq-prover/opam: 1
- fmarotta/kaobook: 1
- rocq-prover/vscoq: 1
Maintainer
- theowinterhalter/formal-type-theory: 42
- theowinterhalter/ghost-reflection: 13
- MetaRocq/metarocq: 13
- theowinterhalter/ett-to-itt: 8
- theowinterhalter/coq-partialfun: 5
- theowinterhalter/ocawb: 2
- theowinterhalter/pdm4all: 1
- theowinterhalter/sirtt: 1
- MetaCoq/metacoq: 1
- theowinterhalter/resizing-reflection: 1
Active Maintainer
Issue Author Associations
- Owner (17, 50.00%)
- None (10, 29.41%)
- Contributor (6, 17.65%)
- Member (1, 2.94%)
Pull Request Author Associations
- Owner (56, 72.73%)
- Member (13, 16.88%)
- Contributor (5, 6.49%)
- None (3, 3.90%)
Top Issue Labels
- enhancement (7)
- bug (6)
- sanity (6)
- translation (5)
- help wanted (4)
- question (1)
- meta (1)
Top Pull Request Labels
- sanity (5)
- translation (1)
- enhancement (1)