mergeBranchesOrPulls() is much faster

Getting the list of the current branches in the cloned repository with
`git.getBranches()` is quite expensive.