結果 : does git pull automatically merge