/** * Updates the recently visited branch in the settings. This is to be performed after successful * checkout operation. */ protected void updateRecentBranch() { if (getRepositories().size() == 1) { GitRepository repository = myRepositories.iterator().next(); mySettings.setRecentBranchOfRepository(repository.getRoot().getPath(), myCurrentBranchOrRev); } else { mySettings.setRecentCommonBranch(myCurrentBranchOrRev); } }