結果 : difference between pull push and commit in git