プル
gitにおいて、他のリポジトリから変更を取得すること
コマンドはgit pull