結果 : git commit vs push vs merge