Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / wintersteiger issue stats
Total issues: 32
Total pull requests: 50
Merged pull request: 34
Average time to close issues: 2 months
Average time to close pull requests: 3 months
Average comments per issue: 2.47
Average comments per pull request: 1.14
Issues created
Pull requests created
- Z3Prover/z3: 12
- microsoft/ravl: 11
- FStarLang/karamel: 8
- Z3Prover/z3test: 5
- imandra-ai/imandrakit: 2
- c-cube/linol: 2
- Z3Prover/PerformanceTest: 1
- hacl-star/hacl-star: 1
- imandra-ai/ieee-p3109: 1
- JelmerT/cc2538-bsl: 1
- imandra-ai/opam-repository: 1
- imandra-ai/batrpc: 1
- Esterni/pyracing: 1
- onnx/onnx: 1
- microsoft/CCF: 1
- merbanan/rtl_433_tests: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (18, 56.25%)
- Contributor (14, 43.75%)
Pull Request Author Associations
- Contributor (31, 62.00%)
- None (15, 30.00%)
- Collaborator (3, 6.00%)
- Member (1, 2.00%)
Top Issue Labels
- wontfix (2)
- enhancement (1)
- bug (1)
Top Pull Request Labels
- no-pr-activity (1)
- bug (1)