GitHub / xldenis issue stats
Total issues: 139
Total pull requests: 184
Merged pull request: 157
Average time to close issues: about 1 year
Average time to close pull requests: 17 days
Average comments per issue: 2.7
Average comments per pull request: 1.17
Issues created
- creusot-rs/creusot: 49
- xldenis/creusot: 21
- xldenis/whycode: 10
- xldenis/dynamit: 10
- xldenis/ill: 6
- hans/obsidian-citation-plugin: 3
- creusot-rs/creusot-ide: 3
- haskell/haskell-ide-engine: 3
- rust-crdt/rust-crdt: 2
- xldenis/hliquid: 2
- byteally/dbrecord-opaleye: 2
- byteally/dbrecord: 2
- c-cube/linol: 1
- xldenis/stackqueue: 1
- ocaml/setup-ocaml: 1
- sdroege/gstreamer-rs: 1
- rust-lang/infra-team: 1
- cognitive-engineering-lab/aquascope: 1
- xldenis/mtac-compiler: 1
- rust-cli/config-rs: 1
- gabriella439/optparse-generic: 1
- ocamlpro/drom: 1
- hexgnu/linkedin: 1
- bscarlet/llvm-general: 1
- rust-lang/project-stable-mir: 1
- petgraph/petgraph: 1
- oli-obk/ui_test: 1
- rust-lang/rust: 1
- dinosaure/esperanto: 1
- technekes/alchemy-api-rb: 1
- softdevteam/lang_tester: 1
- kube-rs/kube: 1
- rust-lang/rustfmt: 1
- garrigue/lablgtk: 1
- grin-compiler/grin: 1
- 0x2a-42/lelwel: 1
- 2mol/pboy: 1
- zesterer/chumsky: 1
Pull requests created
- xldenis/creusot: 100
- creusot-rs/creusot: 53
- c-cube/linol: 3
- byteally/dbrecord: 2
- zgrannan/pcs: 2
- xldenis/whycode: 2
- xldenis/ferros: 2
- sirupsen/contestrus: 2
- creusot-rs/creusot-ide: 2
- hackmcgill/programming-languages: 2
- rust-crdt/rust-crdt: 2
- rust-lang/project-stable-mir: 2
- xldenis/why3-tools: 1
- Shopify/homebrew-shopify: 1
- rust-lang/rustfmt: 1
- xldenis/mchacks: 1
- tomhoule/tide-static-files: 1
- rod-chapman/isqrt: 1
- mikeizbicki/subhask: 1
- radar/distance_of_time_in_words: 1
- 2mol/pboy: 1
- oli-obk/ui_test: 1
Maintainer
- xldenis/creusot: 121
- creusot-rs/creusot: 102
- xldenis/whycode: 12
- xldenis/dynamit: 10
- xldenis/ill: 6
- xldenis/hliquid: 2
- sirupsen/contestrus: 2
- xldenis/ferros: 2
- xldenis/mchacks: 1
- xldenis/mtac-compiler: 1
- xldenis/why3-tools: 1
- xldenis/stackqueue: 1
Active Maintainer
Issue Author Associations
- Owner (51, 36.69%)
- Collaborator (49, 35.25%)
- None (30, 21.58%)
- Contributor (9, 6.47%)
Pull Request Author Associations
- Owner (106, 57.61%)
- Collaborator (55, 29.89%)
- Contributor (15, 8.15%)
- None (8, 4.35%)
Top Issue Labels
- enhancement (27)
- bug (23)
- known-fix (6)
- cargo-creusot (4)
- soundness (4)
- high-priority (4)
- easy (3)
- pearlite (3)
- feature (3)
- good first issue (2)
- low-priority (2)
- critical (2)
- feature-request (1)
- upstream (1)
- why3 (1)
Top Pull Request Labels
- pr-not-reviewed (1)