結果 : does git merge delete source branch