結果 : git pull merge divergent branches