Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / dewert99 issue stats
Total issues: 13
Total pull requests: 76
Merged pull request: 53
Average time to close issues: 4 months
Average time to close pull requests: 9 days
Average comments per issue: 2.77
Average comments per pull request: 2.84
Issues created
- creusot-rs/creusot: 4
- Z3Prover/z3: 3
- xldenis/creusot: 3
- c-cube/batsat: 2
- egraphs-good/egg: 1
Pull requests created
Maintainer
- creusot-rs/creusot: 25
- hobofan/ambassador: 20
- xldenis/creusot: 13
Active Maintainer
Issue Author Associations
- Collaborator (7, 53.85%)
- Contributor (3, 23.08%)
- None (3, 23.08%)
Pull Request Author Associations
- Collaborator (51, 67.11%)
- Contributor (22, 28.95%)
- None (3, 3.95%)
Top Issue Labels
- bug (5)
- error-messages (1)