Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ewenmaclean issue stats
Total issues: 45
Total pull requests: 138
Merged pull request: 131
Average time to close issues: 11 months
Average time to close pull requests: 8 days
Average comments per issue: 0.4
Average comments per pull request: 0.04
Issues created
Pull requests created
- imandra-ai/fix-engine: 41
- imandra-ai/itr-ast: 41
- imandra-ai/imandra-docs: 15
- imandra-ai/ipl-examples: 13
- imandra-ai/imandra-vscode: 12
- imandra-ai/jekyll-resources: 8
- imandra-ai/imandra-ptime: 2
- imandra-ai/imandra-stdlib: 2
- coinvent/coinvent: 1
- mattjbray/ocaml-decoders: 1
- imandra-ai/ipl-ast: 1
- c-cube/ocaml-containers: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (44, 97.78%)
- None (1, 2.22%)
Pull Request Author Associations
- Contributor (138, 100.00%)
Top Issue Labels
- bug (6)
- action (5)
- HETS (2)
- enhancement (2)
- HDTP (1)
- DOL / file-formats (1)
- question (1)