git pull と git fetch, mergeについて
git pull はgit fecthとgit merge origin/masterをまとめて実行するコマンド
git fetchはリモートリポジトリから最新情報をローカルリポジトリに持ってくるコマンド。
fetchをしても、pullのようにファイルが更新されるわけではない。
git merge origin/master はリモートリポジトリの最新情報をローカルのファイルにマージするコマンド。
今日、git pushしようとしたら「お前 pullしてないだろ」って怒られたので、pullしたが何も反応がない。
仕方なく git fetchしてからgit mergeするとうまく取り込めた。この差はいったいなんだろうか。。