Git 12©5ch.io
■ このスレッドは過去ログ倉庫に格納されています
0720デフォルトの名無しさん
2015/06/22(月) 02:50:06.54ID:j9mWyPD+pullする必要があるのは共有ブランチの場合だけ。なぜなら自分専用であれば
自分しか更新しないから、サーバー側がローカルよりも新しくなることはなく
pullする必要がない。
そして共有ブランチであれば、そこを調節更新することはないのでpullが失敗することはない
失敗したら間違って共有ブランチをローカルで更新してしまったとうこと。
その場合は(他のブランチにリネームしたりしてバックアップを取ってから)
共有ブランチは適当に巻き戻したり消して取り直せばいい
じゃあ何故pushした時にpullしろと言われたのか?
それは単にサーバーにpushされているのと、
自分がpushした内容(の歴史)が食い違っていたからなだけ。
gitはブランチが共有ブランチなのか自分専用のブランチなのかの区別は
できないから無いから食い違いをサーバー側が更新されたからだと解釈した。
でもそれが自分専用のブランチであれば、
ローカルにあるブランチが正しいので単にgit push --forceをすれば良い。
自分専用のブランチなのだから、git push --forceしたとしても
誰にも迷惑はかからない。
■ このスレッドは過去ログ倉庫に格納されています