/**
* 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);
}
}
