サーバとローカル環境の両方にgitを入れています。
サーバ上のdevelopブランチで直接修正したコードをGitHubにpushした後に、ローカル環境で同じブランチから以下のコマンドでpullしようとしてもAlready up to dateと表示されます。
git
1$ git branch 2* develop 3$ git pull origin HEAD 4From https://github.com/(GitHubリポジトリ名) 5 * branch HEAD -> FETCH_HEAD 6Already up to date.
しかし、HEADではなくブランチ名を直接指定するとサーバからpushしたコミットが期待通りpullされます。
git
1$ git pull origin develop 2From https://github.com/(GitHubリポジトリ名) 3 * branch develop -> FETCH_HEAD 4Updating 1d0a424..0e75c87
HEADはいまいるブランチを指しているという理解だったので、git pull origin HEADもgit pull origin developも同じ結果になるかと思ったのですが、なぜgit pull origin HEADだとpullされないのでしょうか?
remoteのHEADはどうなっていますか?
githubなら通常はmasterだと思いますが。
その場合、masterとdevelopはどっちが進んでいますか?
初学者なもので確認なのですが、remoteのHEADというのは、$ git ls-remote origin HEADで表示されるハッシュ値が指しているブランチという理解でよかったですか?masterを指しているようです。
masterとdevelopでは、developのほうが進んでいます。
githubのsettingsのdefault branchがどれかというのでいいのですが、そのコマンドでも確認できるんですね。
その状態ならHEADはmasterを指しているようですね。
回答2件
あなたの回答
tips
プレビュー