push
github
2406 of 3950 branches covered (60.91%)
Branch coverage included in aggregate %.
6275 of 9064 relevant lines covered (69.23%)
3.05 hits per line
The file "com/devonfw/tools/ide/merge/DirectoryMerger.java" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.