Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mtzguido issue stats
Total issues: 5
Total pull requests: 103
Merged pull request: 93
Average time to close issues: 3 days
Average time to close pull requests: 3 days
Average comments per issue: 0.0
Average comments per pull request: 1.29
Issues created
Pull requests created
- FStarLang/FStar: 63
- hacl-star/hacl-star: 37
- Z3Prover/z3: 2
- FStarLang/karamel: 1
Maintainer
- FStarLang/FStar: 68
- FStarLang/karamel: 1
Active Maintainer
- FStarLang/FStar: 68
- FStarLang/karamel: 1
Issue Author Associations
- Member (5, 100.00%)
Pull Request Author Associations
- Member (64, 62.14%)
- Contributor (39, 37.86%)