Improved consistency between populateWithGitHubAPI() and populateFileContents()
populateFileContents() returns the directory structure for all Java files in the repository, while populateWithGitHubAPI() returns the directory structure only for the deleted and renamed Java files (for performance). This change is related to issue
@@ -596,6 +596,7 @@ public class GitHistoryRefactoringMinerImpl implements GitHistoryRefactoringMine
pool.shutdown();
pool.awaitTermination(Long.MAX_VALUE, TimeUnit.MILLISECONDS);
repositoryDirectories(currentCommit.getTree(), "", repositoryDirectoriesCurrent, deletedAndRenamedFileParentDirectories);
+ repositoryDirectoriesCurrent.addAll(deletedAndRenamedFileParentDirectories);
//allRepositoryDirectories(currentCommit.getTree(), "", repositoryDirectoriesCurrent);
//GHCommit parentCommit = repository.getCommit(parentCommitId);
//allRepositoryDirectories(parentCommit.getTree(), "", repositoryDirectoriesBefore);
