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: 157
Merged pull request: 121
Average time to close issues: 4 months
Average time to close pull requests: 7 days
Average comments per issue: 2.77
Average comments per pull request: 1.83
Issues created
- creusot-rs/creusot: 4
- xldenis/creusot: 3
- Z3Prover/z3: 3
- c-cube/batsat: 2
- egraphs-good/egg: 1
Pull requests created
- dewert99/plat-smt: 66
- creusot-rs/creusot: 21
- hobofan/ambassador: 20
- c-cube/batsat: 12
- xldenis/creusot: 10
- egraphs-good/egg: 9
- dewert99/default_vec2: 6
- braxtonhall/fib: 4
- dewert99/creusot-experiments: 2
- danielhenrymantilla/stackbox.rs: 2
- serde-rs/serde: 2
- timothee-haudebourg/cc-traits: 1
- terrarier2111/owned-drop: 1
- viperproject/carbon: 1
Maintainer
Active Maintainer
Issue Author Associations
- Collaborator (7, 53.85%)
- None (3, 23.08%)
- Contributor (3, 23.08%)
Pull Request Author Associations
- Owner (74, 47.13%)
- Collaborator (51, 32.48%)
- Contributor (29, 18.47%)
- None (3, 1.91%)
Top Issue Labels
- bug (5)
- error-messages (1)