push
github
1795 of 3277 branches covered (54.78%)
Branch coverage included in aggregate %.
4716 of 7541 relevant lines covered (62.54%)
2.73 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.