関連ワード:  why is it called pull request    why is it called pull request and not push request    why is it called pull request and not merge request    why is it called pull request instead of push request    why is it called pull request in github    git why is it called pull request    why is it called a pull request reddit    why is it called demand pull inflation    why is it called demand pull    why is pr called pull request