一些 hg 变更集在移植后未合并

Some hg changesets not merging after graft

我有两个 hg 分支(devstable)没有像我预期的那样合并。

  1. 关于 stable:我嫁接了 dev 的一行提交。
  2. On dev: 更改了嫁接的那一行,提交更改。
  3. stable 上:将 dev 合并到 stable(无冲突)。

但是在这次合并之后 stable 仍然有该行的嫁接版本(第 1 步)。不是 dev 对同一行的最新更改(第 2 步)。这是为什么?


文件看起来像:

This
file
to
be
merged

变更集:

  1. dev
  2. 上将“to”更改为“might”
  3. 将变更集 1 移植到 stable
  4. dev
  5. 将“可能”改回“到”
  6. dev 合并到 stable。结果是“可能”(而不是像我期望从变更集 3 中看到的那样“到”)。

很抱歉在这里耽搁了:你一将复制器缩小到五次提交,我就知道发生了什么,但我想在回答之前写我自己的复制器,这个优先级下降了很多。我使用的脚本 mktest.hg 来创建提交、移植和合并,出现在这个答案的末尾。

这里的关键问题是合并在 Mercurial 中的实际工作方式。它使用与 Git 相同的算法:即完全忽略任何 branch 信息,并完全忽略任何 timing信息。它只查看 三个特定的提交 ,这是通过检查提交图发现的,如图所示。这是我自己的复制者提供的文本变体:

$ cd test-hg-graft/
$ cat file.txt
This
file
might
be
merged
$ hg lga
@    4:b027441200d2:draft  stable tip Chris Torek
|\   merge dev into stable (9 minutes ago)
| |
| o  3:01c6cc386a08:draft  stable Chris Torek
| |  back to "to" on stable (9 minutes ago)
| |
| o  2:ad954507e465:draft  stable Chris Torek
| |  s/to/might/ (9 minutes ago)
| |
o |  1:f7521e4f0941:draft  dev Chris Torek
|/   s/to/might/ (9 minutes ago)
|
o  0:a163d2c4874b:draft  stable Chris Torek
   initial (9 minutes ago)

lga别名是我偷来的借来的copied from someone else:

lga = log -G --style ~/.hgstuff/map-cmdline.lg

其中 map-cmdline.lg 在上面的 link 中。它只是 log -G(又名 glog),格式更紧凑。

怎么回事

当我们运行:

hg merge dev

Mercurial 找到三个特定的提交:

  • stable 上的当前提交,在本例中为 -r3(SHA ID 会有所不同),是两个端点提交之一。

  • dev 上的目标提交是将 dev 解析为修订版的结果。我们可以自己用 hg id -r dev 来做这个,例如:

    $ hg id -r dev
    f7521e4f0941 (dev)
    $ hg id -n -r dev
    1
    

    请注意,我们可以用 @ 做同样的事情来识别我们当前的修订版,尽管 hg summary 会更方便地显示所有内容。

  • 最后(或者在某种意义上首先,尽管我们需要其他两个才能到达这里),Mercurial 从这两个提交中找到一个 merge base 提交。合并基础是 graph 中的第一个提交,可以从合并的其他两个输入访问。在我们的特殊情况下,这是零转,因为我们在 -r0.

    之后立即将分支分开

从技术上讲,合并基础是最低公共祖先算法的输出,如有向无环图上的 运行。有关示例,请参阅 Wikipedia。可以有多个 LCA;对于这种情况,Mercurial 会(显然)随机选择一个。不过在我们的例子中只有一个 LCA。

找到合并基础后,Mercurial 现在 运行 相当于两个 diff 操作:

hg diff -r 0 -r 3

看看 我们 改变了什么,并且:

hg diff -r 0 -r 1

看看 他们 发生了什么变化,因为合并基础快照。1 如果我们自己这样做,我们会看到 Mercurial 看到的:

$ hg diff -r 0 -r 3
$ hg diff -r 0 -r 1
diff --git a/file.txt b/file.txt
--- a/file.txt
+++ b/file.txt
@@ -1,5 +1,5 @@
 This
 file
-to
+might
 be
 merged

(我将我的 hg diff 配置为 git = true,这样我就可以得到可以提供给 Git 的差异——很久以前我在这里做了很多转换工作。)

就 Mercurial 而言,我们在分支上什么都没做。因此它将 什么都不做 相结合,将此更改为 file.txt 并提出对 file.txt 的更改。该更改应用于合并基础提交中的文件。结果文件——好吧,文件,在这种情况下是单数——是准备好进入最终合并提交的文件,即使它们不是你想要的。

因为 Mercurial 比 Git 有更多的信息——特别是 分支 发生了什么事情——Mercurial 的行为可能与 Git 这里。但实际上,两者都是用这种操作做同样的事情。他们都找到一个合并基础快照,将快照与两个输入提交快照进行比较,并将生成的组合变更集应用到合并基础中的文件。 Mercurial 可以更好地捕获文件重命名(因为它知道它们,与 Git 相比,它只需要 guess)并且 could 在这里做不同的合并工作,但没有。


1有些人可能反对 Mercurial 存储变更集,而不是快照。这是真的——或者更确切地说,有点真实:每隔一段时间,Mercurial 就会存储一个文件的新副本,而不是对其进行更改。但只要我们拥有所有需要的提交,存储更改存储快照 几乎无关紧要。给定两个相邻的快照,我们可以找到一个变更集,给定一个快照和一个向前或向后移动的变更集,我们可以计算一个新的快照。这就是我们如何在 Mercurial(存储变更集)中提取快照,或在 Git(存储快照)中显示变更集。


脚本:mktest.hg

#! /bin/sh

d=test-hg-graft

test "" = replay && rm -rf $d
if test -e $d; then
    echo "fatal: $d already exists" 1>&2
    exit 1
fi
set -e
mkdir $d
cd $d

hg init
hg branch stable

cat << END > file.txt
This
file
to
be
merged
END
hg add file.txt
hg commit -m initial

hg branch dev
ed file.txt << END
3s/to/might/
w
q
END
hg commit -m 's/to/might/'

hg checkout stable
hg graft -r 1 # pick up s/to/might/; graft makes its own commit

ed file.txt << END
3s/might/to/
w
q
END
hg commit -m 'back to "to" on stable'

hg merge dev
hg commit -m "merge dev into stable"