GitHub / PhilippWendler issue stats
Total issues: 149
Total pull requests: 25
Merged pull request: 19
Average time to close issues: over 1 year
Average time to close pull requests: 4 months
Average comments per issue: 3.7
Average comments per pull request: 3.2
Issues created
- sosy-lab/benchexec: 65
- sosy-lab/cpu-energy-meter: 21
- sosy-lab/java-smt: 14
- google/error-prone: 11
- sosy-lab/java-common-lib: 7
- sosy-lab/sv-witnesses: 4
- sosy-lab/sv-benchmarks: 3
- spotbugs/spotbugs: 3
- sosy-lab/llvm-j: 3
- google/google-java-format: 3
- trac-hacks/trac-code-comments-plugin: 2
- google/pytype: 2
- googlearchive/code-prettify: 1
- grafana/grafana: 1
- Z3Prover/z3: 1
- jsdom/abab: 1
- xolox/python-coloredlogs: 1
- crossbario/autobahn-python: 1
- python/cpython: 1
- eemeli/yaml: 1
- systemd/systemd: 1
- lvc/japi-compliance-checker: 1
- systemd/pystemd: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Member (117, 78.52%)
- None (30, 20.13%)
- Contributor (2, 1.34%)
Pull Request Author Associations
- Member (15, 60.00%)
- Contributor (7, 28.00%)
- None (3, 12.00%)
Top Issue Labels
- enhancement (16)
- cgroups (16)
- container (14)
- HTML table (13)
- bug (13)
- GSoC (9)
- low priority (8)
- help wanted (6)
- Z3 (6)
- solver (5)
- package configuration (5)
- usability (3)
- C (3)
- SMTInterpol (2)
- resource allocation (2)
Top Pull Request Labels
- container (2)
- cgroups (2)
- Basicimpl (1)
- documentation (1)
- issue with benchmark (1)
- C (1)
- enhancement (1)
- tool support (1)
- T-enhancement (1)
- C-unpacker (1)
- A-pending-review (1)