結果 : should you always pull before pushing git