GitHub / joehendrix issue stats
Total issues: 20
Total pull requests: 177
Merged pull request: 144
Average time to close issues: 5 months
Average time to close pull requests: 8 days
Average comments per issue: 1.75
Average comments per pull request: 0.97
Issues created
- leanprover/lean4: 4
- strata-org/Strata: 2
- GaloisInc/saw-script: 2
- leanprover/lean3: 2
- leanprover/reservoir: 1
- leanprover/std4: 1
- digama0/frat: 1
- sri-csl/filia: 1
- haskell/haskell-language-server: 1
- GaloisInc/reopt-vcg: 1
- GaloisInc/elf: 1
- GaloisInc/elf-edit: 1
- GaloisInc/lean-haskell-bindings: 1
- leanprover-community/batteries: 1
Pull requests created
- leanprover/lean4: 48
- GaloisInc/pirate: 21
- strata-org/Strata: 20
- leanprover/std4: 19
- GaloisInc/elf-edit: 16
- GaloisInc/lean-llvm: 10
- joehendrix/lean-crypto: 8
- GaloisInc/flexdis86: 6
- joehendrix/lean-libuv: 5
- GaloisInc/dwarf: 4
- GaloisInc/parameterized-utils: 4
- GaloisInc/reopt-vcg: 2
- sri-csl/filia: 2
- GaloisInc/macaw-loader: 1
- SRI-CSL/yices2: 1
- joehendrix/lean-arith-solver: 1
- GaloisInc/pirate-ide-builder: 1
- GaloisInc/llvm-pretty-bc-parser: 1
- leanprover-community/batteries: 1
- GaloisInc/arm-asl-parser: 1
- leanprover/tc: 1
- leanprover-community/mathlib4: 1
- leanprover/doc-gen4: 1
- GaloisInc/semmc: 1
- GaloisInc/crucible: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (15, 75.00%)
- None (3, 15.00%)
- Member (1, 5.00%)
- Collaborator (1, 5.00%)
Pull Request Author Associations
- Contributor (133, 75.14%)
- Collaborator (20, 11.30%)
- Owner (14, 7.91%)
- None (7, 3.95%)
- Member (3, 1.69%)
Top Issue Labels
- bug (5)
- enhancement (2)
- type: bug (1)
- build tool: cabal (1)
- easy (1)
- priority (1)
- P-high (1)
Top Pull Request Labels
- toolchain-available (42)
- will-merge-soon (11)
- full-ci (9)
- WIP (6)
- breaks-mathlib (6)
- builds-mathlib (5)
- merge-conflict (4)
- awaiting-author (3)
- awaiting-review (1)
- release-ci (1)