2人の編集を、どうやって合わせる?
元の文章と2人の変更を見比べて、自動で合わせられる場合と迷う場合を分けます。
やってみようまず「別の行を編集」、次に「同じ行で衝突」を選ぼう。
どこを見る? 元の版があると、どちらが何を変えたかを比べられます。
なぜ、そうなる?
Aの文章とBの文章だけを見ると、どちらが新しい変更か分かりません。共通の元の版も比較することで、片方だけの変更を取り込めます。
同じ箇所を違う内容に変えたら、人の判断が必要です。また、文字として衝突しなくても、予定の時刻など意味が矛盾することはあります。
ひとことで
文章を統合できることと、内容が正しいことは別。結果だけでなく、操作の前後で何が変わったかを説明してみましょう。
ことばを確認する
- ブランチ
- 元の版から分かれて進める編集の流れ。
- マージ
- 別々の変更を統合すること。
- コンフリクト
- どちらを採用するか自動で決められない衝突。
計算のしくみと、この模型の限界
4行の置き換えだけを扱う新規の行単位3-wayモデルです。Git本体を実行するものではなく、行の追加・削除・移動、近接変更の判定、ort戦略などは再現しません。時刻の矛盾検査は、この固定予定表だけに追加した独立の検査です。
A=Bならその値。A=元ならB。B=元ならA。それ以外は衝突。この判定を各行で実行します。