TopGit-driven merge of branches: