push
github
1579 of 2954 branches covered (53.45%)
Branch coverage included in aggregate %.
4064 of 6696 relevant lines covered (60.69%)
2.63 hits per line
The file "com/devonfw/tools/ide/tool/PluginBasedCommandlet.java" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.