Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / jhjourdan issue stats
Total issues: 44
Total pull requests: 107
Merged pull request: 104
Average time to close issues: about 1 year
Average time to close pull requests: about 9 hours
Average comments per issue: 3.07
Average comments per pull request: 0.91
Issues created
- creusot-rs/creusot: 27
- xldenis/creusot: 13
- ocaml/ocaml: 1
- stan-dev/stan: 1
- stan-dev/rstan: 1
- dbuenzli/down: 1
Pull requests created
- creusot-rs/creusot: 70
- xldenis/creusot: 18
- AbsInt/CompCert: 13
- ocaml/opam-repository: 4
- kforner/rcpp_progress: 1
- stedolan/ocaml: 1
Maintainer
- creusot-rs/creusot: 97
- xldenis/creusot: 31
- stedolan/ocaml: 1
Active Maintainer
Issue Author Associations
- Collaborator (40, 90.91%)
- None (3, 6.82%)
- Contributor (1, 2.27%)
Pull Request Author Associations
- Collaborator (89, 83.18%)
- Contributor (17, 15.89%)
- None (1, 0.93%)
Top Issue Labels
- enhancement (15)
- soundness (11)
- bug (8)
- pearlite (4)
- easy (2)
- crash (1)
- high-priority (1)
- error-messages (1)