Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / PhilippWendler issue stats
Total issues: 158
Total pull requests: 25
Merged pull request: 19
Average time to close issues: over 1 year
Average time to close pull requests: 14 days
Average comments per issue: 3.78
Average comments per pull request: 3.2
Issues created
- sosy-lab/benchexec: 60
- sosy-lab/java-smt: 41
- sosy-lab/cpu-energy-meter: 21
- sosy-lab/java-common-lib: 7
- sosy-lab/sv-witnesses: 4
- google/error-prone: 4
- sosy-lab/sv-benchmarks: 3
- sosy-lab/llvm-j: 3
- google/google-java-format: 2
- google/pytype: 2
- lvc/japi-compliance-checker: 1
- googlearchive/code-prettify: 1
- jsdom/abab: 1
- grafana/grafana: 1
- spotbugs/spotbugs: 1
- systemd/systemd: 1
- crossbario/autobahn-python: 1
- eemeli/yaml: 1
- xolox/python-coloredlogs: 1
- Z3Prover/z3: 1
- python/cpython: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Member (139, 87.97%)
- None (17, 10.76%)
- Contributor (2, 1.27%)
Pull Request Author Associations
- Member (15, 60.00%)
- Contributor (7, 28.00%)
- None (3, 12.00%)
Top Issue Labels
- solver (18)
- enhancement (16)
- cgroups (16)
- Z3 (16)
- HTML table (13)
- container (13)
- bug (12)
- SMTInterpol (10)
- GSoC (9)
- help wanted (8)
- low priority (8)
- Build (5)
- Blocked by Solver Support (5)
- dependencies (5)
- package configuration (5)
Top Pull Request Labels
- T-enhancement (2)
- C-unpacker (2)
- A-pending-review (2)
- container (2)
- cgroups (2)
- Basicimpl (1)
- documentation (1)
- issue with benchmark (1)
- C (1)
- enhancement (1)
- tool support (1)