[git] merge one local branch into another local branch