Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / TheoWinterhalter issue stats
Total issues: 36
Total pull requests: 88
Merged pull request: 74
Average time to close issues: 9 months
Average time to close pull requests: 8 days
Average comments per issue: 2.28
Average comments per pull request: 2.9
Issues created
Pull requests created
- theowinterhalter/formal-type-theory: 27
- theowinterhalter/ett-to-itt: 13
- MetaCoq/metacoq: 13
- theowinterhalter/ghost-reflection: 13
- theowinterhalter/coq-partialfun: 5
- coq/rfcs: 4
- coq/ceps: 4
- coq-community/vscoq: 2
- theowinterhalter/pdm4all: 1
- coq/opam: 1
- theowinterhalter/sirtt: 1
- coq/vscoq: 1
- theowinterhalter/ocawb: 1
- theowinterhalter/resizing-reflection: 1
- fmarotta/kaobook: 1
Maintainer
Active Maintainer
Issue Author Associations
- Owner (17, 47.22%)
- None (12, 33.33%)
- Contributor (6, 16.67%)
- Member (1, 2.78%)
Pull Request Author Associations
- Owner (62, 70.45%)
- Member (13, 14.77%)
- None (11, 12.50%)
- Contributor (2, 2.27%)
Top Issue Labels
- bug (8)
- enhancement (7)
- sanity (6)
- translation (5)
- help wanted (4)
- question (1)
- meta (1)
Top Pull Request Labels
- sanity (5)
- translation (1)
- enhancement (1)