結果 : why do we not call git pull request as push request