git pullでマージしていないコミットがあるにも関わらずAlready up to dateと表示される

Question

サーバとローカル環境の両方にgitを入れています。

サーバ上のdevelopブランチで直接修正したコードをGitHubにpushした後に、ローカル環境で同じブランチから以下のコマンドでpullしようとしてもAlready up to dateと表示されます。

$ git branch
* develop
$ git pull origin HEAD
From https://github.com/(GitHubリポジトリ名)
 * branch            HEAD       -> FETCH_HEAD
Already up to date.

しかし、HEADではなくブランチ名を直接指定するとサーバからpushしたコミットが期待通りpullされます。

$ git pull origin develop
From https://github.com/(GitHubリポジトリ名)
 * branch            develop -> FETCH_HEAD
Updating 1d0a424..0e75c87

HEADはいまいるブランチを指しているという理解だったので、git pull origin HEADもgit pull origin developも同じ結果になるかと思ったのですが、なぜgit pull origin HEADだとpullされないのでしょうか？

Comments

[bsdfan]

remoteのHEADはどうなっていますか？
githubなら通常はmasterだと思いますが。
その場合、masterとdevelopはどっちが進んでいますか？

[miyaken912]

初学者なもので確認なのですが、remoteのHEADというのは、$ git ls-remote origin HEADで表示されるハッシュ値が指しているブランチという理解でよかったですか？masterを指しているようです。
masterとdevelopでは、developのほうが進んでいます。

[bsdfan]

githubのsettingsのdefault branchがどれかというのでいいのですが、そのコマンドでも確認できるんですね。
その状態ならHEADはmasterを指しているようですね。

Answer 1

git pull origin HEADとしたときのHEADは、ローカルのHEADではなく、リモートレポジトリのHEADのことです。
リモートのHEADがmasterを指しているようなので、厳密には違いますが動作としてはmasterをmergeしようとしています。

developの方が進んでいるとのことなので、Already up to date. となるのでしょう。

Comments

[miyaken912]

あ、なるほど、そういうことなんですね！
少し勘違いして理解していましたが、正しく理解出来ました。
ありがとうございます！

Answer 2

HEADはいまいるブランチを指しているという理解だったので

確かにいまいるブランチを指しているのですが、
より正確に言うと、いまいるブランチの最新のリビジョンを指しているので、
pull により実行されるマージで、新たなマージが発生することがないためと思われます
一方で、ブランチ名を指定した場合、
こちらは pull により新たなマージ (First Forward) が発生するので
Updating と表示されます

bsdfan さんの回答を受けて確認したところ、
たしかにリモートブランチの HEAD を pull してマージする動作になりました
なので、master ブランチの方に新規リビジョンが追加されていると、
develop ブランチに master の新規リビジョンがマージされてしまい
想定されている結果とは異なる結果になります

参考: DEFAULT BEHAVIOUR | Git - git-pull Documentation

If explicit refspecs were given on the command line of git pull, they are all merged.

git pull コマンドの <refspec> には通常、ブランチ名を入力します:

参考: Git - git-pull Documentation

git pull [<options>] [<repository> [<refspec>…​]]

<refspec> can name an arbitrary remote ref
(for example, the name of a tag)
or even a collection of refs with corresponding remote-tracking branches
(e.g., refs/heads/:refs/remotes/origin/),
but usually it is the name of a branch in the remote repository.

Comments

[miyaken912]

「より正確に言うと、いまいるブランチの最新のリビジョンを指しているので、pull により実行されるマージで、新たなマージが発生することがないため」というのは、pullでmergeしようとしているリビジョンが、サーバ上でcommitした最新のものではなく、いまいるローカル環境からcommitした最新のリビジョンを指しているからという理解であっていますか？(つまり、自分自身でpushしたものをpullしようとしてきている)

[y_shinoda]

おそらくですが、そのような動きをしているものと思われます
振る舞いの解説については、
公式 DOC に今回の事象にぴったり該当する記述は見つけられませんでしたので、
公式 DOC に記載されている内容と、実行したときのログからの推測です

公式 DOC を読む限りでは、基本的にはブランチ名で実行するのが良いと思います

[miyaken912]

なるほど、理解しました！ありがとうございました！

[y_shinoda]

bsdfan さんの回答を受けて回答の誤りを修正しました