Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / joehendrix issue stats
Total issues: 13
Total pull requests: 89
Merged pull request: 81
Average time to close issues: 3 months
Average time to close pull requests: 6 days
Average comments per issue: 1.31
Average comments per pull request: 0.27
Issues created
Pull requests created
- GaloisInc/pirate: 21
- GaloisInc/elf-edit: 16
- GaloisInc/lean-llvm: 10
- joehendrix/lean-crypto: 8
- GaloisInc/flexdis86: 6
- GaloisInc/parameterized-utils: 4
- joehendrix/lean-libuv: 4
- GaloisInc/dwarf: 4
- sri-csl/filia: 2
- leanprover/doc-gen4: 2
- GaloisInc/reopt-vcg: 2
- GaloisInc/macaw-loader: 1
- leanprover/lean4: 1
- SRI-CSL/yices2: 1
- joehendrix/lean-arith-solver: 1
- GaloisInc/pirate-ide-builder: 1
- GaloisInc/llvm-pretty-bc-parser: 1
- GaloisInc/semmc: 1
- leanprover/tc: 1
- GaloisInc/arm-asl-parser: 1
- GaloisInc/crucible: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (8, 61.54%)
- None (4, 30.77%)
- Member (1, 7.69%)
Pull Request Author Associations
- Contributor (67, 75.28%)
- Owner (13, 14.61%)
- None (6, 6.74%)
- Member (3, 3.37%)
Top Issue Labels
- enhancement (2)
- C-bug (2)
- type: bug (1)
- build tool: cabal (1)
- easy (1)
- priority (1)