push
github
2312 of 3848 branches covered (60.08%)
Branch coverage included in aggregate %.
6078 of 8854 relevant lines covered (68.65%)
3.03 hits per line
The file "com/devonfw/tools/ide/commandlet/Commandlet.java" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.