Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / olaure01 issue stats
Total issues: 2
Total pull requests: 32
Merged pull request: 30
Average time to close issues: 1 day
Average time to close pull requests: 9 days
Average comments per issue: 0.5
Average comments per pull request: 0.81
Issues created
Pull requests created
- coq-community/corn: 4
- mit-plv/fiat: 3
- coq-community/paramcoq: 2
- fblanqui/color: 2
- mit-plv/fiat-crypto: 2
- math-comp/odd-order: 2
- mit-plv/rupicola: 2
- coq/opam: 2
- ppedrot/ll-coq: 2
- kai-qu/linear-logic: 1
- jasmin-lang/coqword: 1
- mit-plv/bbv: 1
- coq/coq: 1
- QuickChick/QuickChick: 1
- mit-plv/kami: 1
- foreverbell/permutation-solver: 1
- acowley/linearlogic: 1
- math-comp/mcb: 1
- mit-plv/coqutil: 1
- coq-community/coq-ext-lib: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (1, 50.00%)
- Contributor (1, 50.00%)
Pull Request Author Associations
- Contributor (31, 96.88%)
- None (1, 3.13%)
Top Issue Labels
Top Pull Request Labels
- part: standard library (1)
- kind: enhancement (1)